Where to go next:
Bio contains more detailed biographic information about me.
Research gives more deails about my research topics, partners, projects, and publications. For those that are interested in collaboration with me and my team.
Teaching is an overview of my university courses and conference tutorials. It also contains information about past students and for prospective students.
Service describes my service activities such as participation in various boards and committees and organizing events.
Department of Theoretical Computer Science and Mathematical Logic
Faculty of Mathematics and Physics, Charles University
Malostranské nám. 2/25, 118 00 Praha 1
tel: +420 951 554 242
fax: +420 951 554 323