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

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

Šárka Stejskalová, Ph.D.set theorysarka.stejskalova 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

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 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