Petr Gregor












            ******************************************************************************************

            * Mgr. Petr Gregor, Ph.D.
            ******************************************************************************************
            Assistant Professor

            gregor(zavinac)ktiml.mff.cuni.cz [ MAIL "gregor(zavinac)ktiml.mff.cuni.cz"]
            personal web [ URL "http://ktiml.mff.cuni.cz/~gregor/"]


            Welcome to my department homepage.

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

            topics [ URL "http://ktiml.mff.cuni.cz/~gregor/temata.html"] .






            ******************************************************************************************
            * Teaching
            ******************************************************************************************

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

              More information on the lecture (in Czech) can be found here [ URL "http://ktiml.mff.cun

              logika/index.html"] .
              A parallel lecture in English (by Jakub Bulín) is on Monday 9:00 in S10, see materials f
              years here [ URL "http://ktiml.mff.cuni.cz/~gregor/logics/index.html"] .


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


              This seminar is in Czech. More information can be found here [ URL "http://ktiml.mff.cun
              logika/cviceni.html"] .


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

              These practicals are in English. More information can be found here [ URL "http://ktiml.

              ~gregor/zsv/index.html"] .

            • NTIN097 Hypercube problems - lecture


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

              ktiml.mff.cuni.cz/~gregor/hypercube/hypercube-course.htm"] .

            • NTIN071 Automata and grammars - seminars


              Teaching in the summer semester. More information (in Czech) can be found here [ URL "ht
              ktiml.mff.cuni.cz/~gregor/agr/cviceni.html"] .









            ******************************************************************************************
            * Selected publications
            ******************************************************************************************


            The list of publications is available here [ URL "http://ktiml.mff.cuni.cz/~gregor/"] .