Virgil Nicolae Șerbănuță

Senior Software Engineer at Runtime Vеrification

Virgil Nicolae Șerbănuță received a Ph.D., an M.S. and a B.S. from the University of Bucharest, Romania. Previously, he participated in ACM programming competitions (1st place Southeastern Europe, 15th place Worldwide) and National Olympiads of Informatics (2nd and, resp., 3rd place). He briefly joined the University of Bucharest as faculty, but he liked developing software used by millions/billions of people more than writing papers. So he joined Google Zurich, Switzerland, where he spent more than 10 years working on Google Maps and Google Timeline, before joining RV where he's developing formal software analysis tools. He enjoys playing Go and solving hard problems.