Andrei Văcaru

Formal Verification Engineer at Runtime Vеrification

Andrei Văcaru works out of RV’s Bucharest based subsidiary. In addition to his full time position at RV, Andrei is pursuing a Master degree at the University of Bucharest in Security and Applied Logic. Andrei developed a keen interest in functional programming and formal methods after developing a Haskell based interpreter for an imperative language.


Org chart