About me
Hi! I'm a logician based in Prague. I work mainly on substructural logics and non-classical modal 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 within the LogICS group) and the Institute of Philosophy of the Czech Academy of Sciences (Part-time researcher at the Department of Logic).
I am the principal investigator of the NOCLID project. I organise the Seminar on Applied Mathematical Logic at the ICS and I co-organise the LOGICA conference series.
Here's my CV.
Contact
Dr. Igor Sedlár
Institute of Computer Science
Pod Vodárenskou věží 271/2
182 07 Prague 8, The Czech Republic
sedlar(at)cs(dot)cas(dot)cz