People

Internal Faculty

Marta Bílková, PhD.
deputy head of department
nonclassical logics, coalgebraic logic, proof theorymarta.bilkova at ff.cuni.czwww

Radek Honzík, PhD.
head of department
set theory, large cardinals, forcing, philosophy of set theoryradek.honzik at ff.cuni.czwww

PhDr. Michal Peliš, PhD.erotetic logic, epistemic logicmichal.pelis at ff.cuni.cz

doc. RNDr. Vítězslav Švejdar,
CSc.
nonclassical logics, metamathematics of arithmeticsvitezslav.svejdar at cuni.czwww

Jonathan Verner, PhD.set theory, foundations of mathematics, topology, ultrafiltersjonathan.verner at ff.cuni.czwww

PostDocs

Miha Habić, PhD.set theory, large cardinalsmiha.habic at ff.cuni.cz

External Faculty

doc. Ing. Petr Cintula, PhD.mathematical fuzzy logic, abstract algebraic logiccintula at cs.cas.czwww

prof. PhDr. Petr Koťátko, CSc.analytical philosophykotatko at flu.cas.czwww

RNDr. Ondřej Majer, CSc.game theory, non-classical logics, foundations of probabilitymajer at flu.cas.czwww

doc. Tomáš Marvan, PhD.analytical philosophymarvan at flu.cas.czwww

prof. PhDr. Pavel Materna, CSc.
maternapavel at
seznam.cz
www

Carles Noguera, PhD.mathematical fuzzy logic, abstract algebraic logicnoguera at utia.cas.czwww

doc. RNDr. Vladimír Petkevič, CSc.mathematical linguisticsvladimir.petkevic at
ff.cuni.cz
www

RNDr. Petr Savický, CSc.computational complexitysavicky at cs.cas.czwww

Šárka Stejskalová, PhD.set theorysarka.stejskalova at
ff.cuni.cz
www

RNDr. doc. Jiří Velebil, PhD.category theoryvelebil at math.feld.cvut.czwww

PhDr. Marta Vlasáková, PhD.philosophy of logicmarta.vlasakova at flu.cas.czwww

PhD Students and recent PhD graduates





Pavel Arazim, PhDphilosophical logicpavel.arazim at centrum.cz

Derek von Barandy, MAphilosophical logicderek at logici.czwww

Mgr. Veronika Douchoválogic and estheticsveronika.douchova at ff.cuni.cz

Tomáš Lávička, PhDnon-classical logicslavicka.thomas at gmail.comwww

Adam Přenosil, PhDnon-classical logicsadam.prenosil at gmail.comwww

Mgr. Tereza Stejskalováphilosophy of set theorytereza.stejskalova at ff.cuni.cz

Mgr. Petr Švarnýtemporal and epistemic logic, artificial intelligencesvarnyp at logici.czwww