People

Internal Faculty




Doc. Radek Honzík, Ph.D.
head of department



set theory, large cardinals,
philosophy of set theory
radek.honzik at ff.cuni.cz






Šárka Stejskalová, Ph.D.

set theorysarka.stejskalova at
ff.cuni.cz



Petr Švarný, Ph.D.

temporal and epistemic logic,
artificial intelligence
svarnyp at logici.cz



Doc. RNDr. Vítězslav Švejdar, CSc.       

nonclassical logics,
metamathematics of arithmetics

vitezslav.svejdar at cuni.cz



PhDr. Marta Vlasáková, Ph.D.

philosophy of logicmarta.vlasakova at flu.cas.cz








External Faculty

Marta Bílková, Ph.D.

nonclassical logics, coalgebraic logic,        
proof theory
marta.bilkova at ff.cuni.cz
Doc. Ing. Petr Cintula, Ph.D.

mathematical fuzzy logic,
abstract algebraic logic
cintula at cs.cas.cz



Prof. PhDr. Petr Koťátko, CSc.

analytical philosophykotatko at flu.cas.cz



RNDr. Ondřej Majer, CSc.

game theory, non-classical logics,
foundations probability
majer at flu.cas.cz



Doc. Tomáš Marvan, Ph.D.

analytical philosophymarvan at flu.cas.cz



Prof. PhDr. Pavel Materna, CSc.


maternapavel at
seznam.cz



Carles Noguera, Ph.D.

mathematical fuzzy logic,
abstract algebraic logic
noguera at utia.cas.cz



Doc. RNDr. Vladimír Petkevič, CSc.

mathematical linguisticsvladimir.petkevic at
ff.cuni.cz



RNDr. Petr Savický, CSc.

computational complexitysavicky at cs.cas.cz






Doc. RNDr. Jiří Velebil, Ph.D.

category theory

velebil at math.feld.cvut.cz




Jonathan Verner, Ph.D.



set theory, topology, ultrafiltersjonathan.verner at matfyz.cz








PhD Students and recent PhD graduates







Pavel Arazim, Ph.D.

philosophical logicpavel.arazim at centrum.cz



Derek von Barandy, MA

philosophical logicderek at logici.cz



Mgr. Veronika Douchová

logic and estheticsveronika.douchova at ff.cuni.cz



Tomáš Lávička, Ph.D.

non-classical logicslavicka.thomas at gmail.com



Adam Přenosil, Ph.D.

non-classical logicsadam.prenosil at gmail.com



Mgr. Tereza Stejskalová

philosophy of set theorytereza.stejskalova at ff.cuni.cz