Josef Urban

Principal researcher, CIIRC, Czech Technical University

  • Joined November 2016

Names

Josef Urban (Preferred)

Emails

****@gmail.com (Confirmed)

Education & Career History

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

Advisors, Relations & Conflicts

Coauthor
Present
 

Expertise

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