Runtime Vеrification
Denis Bogdănaș completed his Ph.D. at the University of Iasi, Romania, where he formalized the first complete semantics of Java, using the K framework. In 2014 he did an internship at UIUC, where he met Grigore and the K team. Prior to his Ph.D. studies, he was a Java and C# software engineer for five years. Before joining RV, Denis was a postdoc at Oregon State University, where he worked on software analysis tools for Android security.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.