 |
Petr Cintula Petr is the Head of the Department of Theoretical Computer
Science at the ICS. His research focuses on mathematical fuzzy
logic and abstract algebraic logic. |
 |
Marta Bílková Marta's research focuses on modal logics and coalgebraic logic. |
 |
Zuzana Haniková Zuzana works on algorithmic problems in substructural logics
and first-order substructural logics. |
 |
Ondrej Majer Ondrej concentrates on logic & games, epistemic logic and
probability theory. |
 |
Tommaso Moraschini Tommaso's research focuses on abstract algebraic logic, universal algebra, and applications of duality theory to non-classical logics. |
 |
Amanda Vidal Amanda works on modal fuzzy logics. |
 |
Igor Sedlár Igor focuses on non-classical modal logic. |
 |
Andrew Tedder Andrew is a member of the NOCLID projet team. His research
focuses on relevant logic and modal logic. |
 |
Vít Punčochář Vít is a member of the NOCLID project team. His research
concentrates on non-classical logics, inquisitive semantics and
philosophy of logic. |
Past members
- Petr Hájek, deceased
- Rostislav Horčík, now at the Czech Technical University
- Dagmar Harmancová
- Paolo Baldi, now at University of Milano
- Adam Přenosil, now at Vaderbilt University
- Luca Reggio, now at University of Bern
- Stefano Bonzio, now at Polytechnic University of the Marche in Ancona
- Karel Chvalovský, now at the Czech Technical University
- Milan Petrík, now at the Czech University of Life Sciences
- Libor Běhounek, now at the University of Ostrava