Dr. Tim Lyon
Research AssociateTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de 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.