Josef Urban

Principal researcher, CIIRC, Czech Technical University

  • Joined November 2016

Names

Josef Urban (Preferred)

Emails

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Principal researcher
CIIRC, Czech Technical University (ciirc.cvut.cz)
2015 – Present
 
Postdoc
ICIS, Radboud University Nijmegen (cs.ru.nl)
2009 – 2015
 
Assistant Professor
Dept. of Theoretical Comp. Science, Charles University (ktiml.mff.cuni.cz)
2005 – 2009
 

Advisors, Relations & Conflicts

Coauthor
Present
 

Expertise

Automated Reasoning
Present
 
Artificial intelligence
Present
 
Machine Learning
Present
 
Theorem Proving
Present