Josef Urban (Preferred)
Josef Urban
Principal researcher, CIIRC, Czech Technical University
- Joined November 2016
Names
Emails
****@gmail.com (Confirmed)
Personal Links
Education & Career 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
Expertise
Automated Reasoning
Present
Artificial intelligence
Present
Machine Learning
Present
Theorem Proving
Present