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.
This person is not in any offices