Petr Pudlák
Umístění:
Petr Pudlak home page
Blog
Funkcionální programování
Project proposals
Živá strava
Blog
Blog archive
Contact form
Personal interests
Research interests
.
Petr Pudlak home page
Research interests
See
Research interests
.
Former Teaching Experience
Functional programming
[NAIL097] at
Department of Theoretical Computer Science and Mathematical Logic
, MFF UK.
Automated reasoning
1)
[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.
Poslední úprava: 2014/12/13 12:52