PhD program

Type
four-year PhD, taught in English

Note: The program is at the moment discontinued for new admissions. There are no entrance exams in 2024.

Contact
radek.honzik at ff.cuni.cz

 

Program Board

Name Affiliation Research Areas E-mail
Mgr. Marta Bílková, Ph.D. Katedra Logiky, FF UK nonclassical logics, proof theory marta.bilkova at ff.cuni.cz
doc. Ing. Petr Cintula Ph.D. Institute of Computer Science The Czech Academy of Sciences abstract algebraic logic, non-classical logics cintula at cs.cas.cz
doc. RNDr. Marie Duží, CSc. VŠB-TU, Ostrava transparent intensional logic marie.duzi at vsb.cz
Mgr. Petr Dvořák, Ph.D. Filosofický ústav, AV ČR medieval philosophy and early modern scholasticism peterdvorak99 at gmail.com
doc. Radek Honzík, Ph.D. Katedra Logiky, FF UK set theory radek.honzik at ff.cuni.cz
prof. PhDr. Petr Koťátko, CSc. Filosofický ústav, AV ČR analytical philosophy kotatko at flu.cas.cz
prof. RNDr. Jan Krajíček, DrSc. Katedra Algebry, MFF UK proof complexity, bounded arithmetics  krajicek at karlin.mff.cuni.cz
prof. PhDr. Pavel Materna, CSc. Katedra filosofie, FF MU logical analysis of natural languages  materna@phil.muni.cz
doc. RNDr. Vladimír Petkevič, CSc. Ústav Teoretické a Komputační lingvistiky, FF UK mathematical linguistics vladimir.petkevic at ff.cuni.cz
prof. RNDr. Pavel Pudlák, DrSc. Matematický ústav, AV ČR computational and proof complexity pudlak at math.cas.cz
PhDr. Vladimír Svoboda, CSc. Filosofický ústav, AV ČR philosophy of logic, deontic logic svoboda at lorien.site.cas.cz
doc. RNDr. Vítězslav Švejdar, CSc.
(chair)
Katedra Logiky, FF UK nonclassical logic, metamathematics of arithmetics vitezslav.svejdar at cuni.cz

 

Úvod > Applicants > PhD program