Denis Bogdănaș

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.