Petr Gregor

Mgr. Petr Gregor, Ph.D.

Petr Gregor
Petr Gregor

Assistant Professor

personal web

Welcome to my department homepage.

If you are looking for a topic for Bc. or Mgr. thesis under my supervision, I offer several interesting topics.


  • NAIL062 Propositional and Predicate Logic - lecture [S3, Tuesday, 15:40]

    More information on the lecture (in Czech) can be found here.

    A parallel lecture in English (by Jakub Bulín) is on Monday 9:00 in S10, see materials from previous years here.

  • NAIL062 Propositional and Predicate Logic - seminars [S6, Wednesday, 10:40]

    This seminar is in Czech. More information can be found here.

  • NTIN090 Introduction to Complexity and Computability - practicals [S1, Tuesday, 10:40]

    These practicals are in English. More information can be found here.

  • NTIN097 Hypercube problems - lecture

    The course is taught in the winter semester. Please send me an email if you would like to take this course. More information and lecture scribes from the previous year are available here.

  • NTIN071 Automata and grammars - seminars

    Teaching in the summer semester. More information (in Czech) can be found here.

Selected publications

The list of publications is available here.

Last change: September 30, 2019 17:33 
Share on:  

Department secretary

(Petra Novotná)

+420 951 554 245

Fax: +420 951 554 323


Petra Novotná

Web administrator

(Jindřich Vodrážka)

Jindřich Vodrážka

Server administrator

(Milan Fučík)

Milan Fučík


Department of Theoretical Computer Science and Mathematical Logic

Faculty of Mathematics and Physics

Charles University

Malostranské náměstí 25

Prague 1, 118 00

Czech Republic