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