Runtime Vеrification
- Mihai Calancea
Mihai Calancea
Formal Verification Engineer at Runtime Vеrification
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
No direct reports
Timeline
Formal Verification Engineer
Current role