People

Internal Faculty

Marta Bílková, Ph.D.
deputy head of department
nonclassical logics, coalgebraic logic,        
proof theory
marta.bilkova at ff.cuni.cz

doc. Radek Honzík, Ph.D.
head of department
set theory, large cardinals,
philosophy of set theory
radek.honzik at ff.cuni.cz

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

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

nonclassical logics,
​​​​​​​metamathematics of arithmetics

vitezslav.svejdar at cuni.cz

Jonathan Verner, Ph.D.set theory, topology, ultrafiltersjonathan.verner at ff.cuni.cz

PostDocs

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

External Faculty

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

Šárka Stejskalová, Ph.D.set theorysarka.stejskalova at
ff.cuni.cz

doc. RNDr. Jiří Velebil, Ph.D.category theoryvelebil at math.feld.cvut.cz

PhDr. Marta Vlasáková, Ph.D.philosophy of logicmarta.vlasakova at flu.cas.cz

PhD Students and recent PhD graduates





Pavel Arazim, Ph.D.philosophical logicpavel.arazim at centrum.cz

Derek von Barandy, MAphilosophical 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

Mgr. Petr Švarnýtemporal and epistemic logic,
artificial intelligence
svarnyp at logici.cz