About me
Hi! I'm a logician based in Prague. I work mainly on non-classical modal logics, focusing on non-classical dynamic and epistemic logics. I am affiliated with the Institute of Computer Science of the Czech Academy of Sciences (Postdoctoral researcher at the Department of Theoretical Computer Science) and the Institute of Philosophy of the Czech Academy of Sciences (Researcher in the SEGA Project at the Department of Logic). I co-organise the LOGICA conference.
In the fall semester 2018/19 I teach the course 01MAL Mathematical Logic at the Czech Technical University.
CV
Here's my CVContact
Institute of Computer Science
Pod Vodárenskou věží 271/2
182 07 Prague 8, Czech Republic
sedlar(at)cs(dot)cas(dot)cz
