Name Research E-mail

Internal Faculty

Mgr. Marta Bílková, PhD. deputy head of department nonclassical logic, coalgebraic logic, proof theory www
Mgr. Radek Honzík, PhD. head of department set theory, large cardinals, forcing www
PhDr. Michal Peliš, PhD. erotetic logic, epistemic logic www
doc. RNDr. Vítězslav Švejdar, CSc. nonclassical logic, metamathematics of arithmetic www
Mgr. Jonathan Verner, PhD. set theory, foundations of mathematics, topology, ultrafilters www

PostDocs

Miha Habić, PhD. set theory, large cardinals

External Faculty

doc. Ing. Petr Cintula, Ph.D. mathematical fuzzy logic, abstract algebraic logic www
RNDr. Doc. Jiří Velebil, Ph.D. category theory www
prof. PhDr. Petr Koťátko, CSc. analytical philosophy www
RNDr. Ondřej Majer, CSc. game theory, non-classical logics, foundations of probability www
Mgr. Tomáš Marvan, Ph.D. analytical philosophy www
prof. PhDr. Pavel Materna, CSc. www
Carles Noguera, Ph.D. mathematical fuzzy logic, abstract algebraic logic www
doc. RNDr. Vladimír Petkevič, CSc. mathematical linguistics www
RNDr. Petr Savický, CSc. computational complexity www
Mgr. Šárka Stejskalová, Ph. D. set theory www
PhDr. Mgr. Marta Vlasáková, Ph.D. philosophy of logic www

PhD Students

Mgr. Tereza Stejskalová philosophy of set theory
Mgr. Pavel Arazim analytical philosophy
Mgr. Veronika Douchová logic and esthetics
Mgr. Tomáš Lávička abstract algebraic logic
Mgr. Adam Přenosil nonclassical logic www
Mgr. Petr Švarný temporal and epistemic logic, artificial intelligence
Derek vonBarandy, MA philosophical logic www