![Josef Urban](https://popl16.sigplan.org/getProfileImage/josefurban/01b2ca4d-ca19-48cd-8a4f-92b8c3b0526a/small.jpg?1711522205000)
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
2016
POPL 2016-profile
View general profile
View general profile