Tim Lyon

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Tim Lyon

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

I am a postdoctoral researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics. Prior to joining TU Dresden, I was a PhD student at Technische Universität Wien, where I worked on the TICAMORE (Translating and dIscovering CAlculi for MOdal and RElated logics) project under the supervision of Prof. Agata Ciabattoni.

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation