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. |
|
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
- Dagmar Harmancová
- Tommaso Moraschini, now at the University of Barcelona
- Rostislav Horčík, now at the Czech Technical University
- 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