Registered user since Mon 17 Apr 2017
I am a postdoc researcher in the Foundations Group of ICIS at the Radboud University, Nijmegen. Before that I was an assistant professor at the Department of Theoretical Computer Science and Mathematical Logic at Charles University in Prague (I co-founded the Prague Automated Reasoning Group), and a Marie-Curie fellow at the Department of Computer Science at University of Miami.
|CPP 2016||Mizar Environment for Isabelle|
|Show activities from other conferences|
View general profile