VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Josef Urban

Registered user since Mon 17 Apr 2017

Name:Josef Urban
Bio:

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.

Personal website: http://cs.ru.nl/~urban/

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile