Josef Urban

I am a 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 Automated Reasoning Group there), and a Marie-Curie fellow at the Department of Computer Science at University of Miami. (Short scientific CV)

Education

Ph.D. in Computer Science (2004), Faculty of Mathematics and Physics, Charles University, Prague

M.S. in Mathematics (1998), Faculty of Mathematics and Physics, Charles University, Prague

B.S. in Economics (1995), Faculty of Social Sciences, Charles University, Prague

Research Interests

I am interested in automated reasoning in large semantically specified knowledge bases (some people call this "strong artificial intelligence"). It involves automated deductive reasoning (automated theorem proving), inductive reasoning (machine learning and discovery) and their combining. I am also quite involved in formalization and computer-verification of mathematics (see the QED Manifesto), especially in Mizar.

Current Projects

Systems

Bibliography and Publications at DBLP

Journal Editing

Students

Current: Past:

Contact Information

Contact details:
Grondslagen / Intelligent Systems
ICIS / FNWI,
Radboud Universiteit Nijmegen
Heijendaalseweg 135
6525 AJ Nijmegen
The Netherlands

e: josef DOT urban AT gmail DOT com
t: +31 24 365 26 31 (x52631 internally)

updated: 28. 3. 2011