Runtime Vеrification
- Mihai Calancea
Mihai Calancea is pursuing a Master's Degree in Security and Applied Logic at the University of Bucharest. In addition to his work at RV, he is interested in algorithms and data structures, and enjoys programming competitions.
Org chart
Sign up to view 0 direct reports
Get started
Offices
This person is not in any offices