His main research interests are automated reasoning and program verification using logic and algebraic methods. He holds a PhD in Computer Science and Habilitation title from Johannes Kepler University of Linz. (http://www.risc.uni-linz.ac.at/home/tjebelea)