About me
Hi! I'm a logician working at the Czech Academy of Sciences in Prague. I am affiliated with the Institute of Computer Science CAS (Postdoctoral researcher at the Department of Theoretical Computer Science within the LogICS group where my position is currently co-funded by the Operational Programme Research, Development and Education of the Czech Ministry of Education, Youth and Sports and the Czech Science Foundation). I am also affiliated with the Institute of Philosophy of the CAS (Part-time researcher at the Department of Logic).
Here's my CV.
My work
I work mainly on non-classical logic. Currently I'm interested in non-classical modal logics, especially dynamic logics based on non-classical propositional logics. I am the principal investigator of the NOCLID project devoted to this topic, funded by the Czech Science Foundation.
I organise the Seminar on Applied Mathematical Logic at the ICS and I co-organise the LOGICA conference series.
Contact
Dr. Igor Sedlár
Institute of Computer Science
The Czech Academy of Sciences
Pod Vodárenskou věží 271/2
182 07 Prague 8, The Czech Republic
sedlar(at)cs(dot)cas(dot)cz
