Petr Pudlak home page
Research interests
See Research interests.
Blog
See blog.
Teaching
- Functional programming [NAIL097] at Department of Theoretical Computer Science and Mathematical Logic, MFF UK.
- Automated reasoning1) [A4M33AU] at The Department of Cybernetics, ČVUT. https://cw.felk.cvut.cz/doku.php/courses/a4m33au/ Information for students in Czech.
Education
- Ph.D. in Computer Science (2007), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague.
- Mgr. in Mathematics (2002), Department of Algebra, Faculty of Mathematics and Physics, Charles University in Prague.
Bibliography
See bibliography, or the version with abstracts.
Contact
Use my contact form.
1)
If the link doesn't work, try the list of the courses at our department instead.
