Name Research E-mail

Internal Faculty

Mgr. Marta Bílková, PhD. nonclassical logic, proof theory
Mgr. Radek Honzík, PhD. set theory, large cardinals, forcing www
prof. PhDr. Petr Koťátko, CSc. analytical philosophy 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
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. 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