Tim Lyon

Dr. Tim Lyon serves as a Research Associate within the Computational Logic group at Dresden University of Technology's Faculty of Computer Science. He is actively engaged in the ERC-funded DeciGUT (A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation) project, focusing on theoretical foundations of computational logic.

His research centers on computational logic, specializing in proof systems for fragments of first-order logic, non-classical logics, and modal logics. Key contributions include developing sequent-based frameworks for Gödel-Löb provability logic, bi-intuitionistic extensions, and decidability analyses for quasi-dense modal systems. His work bridges theoretical proof theory with practical applications in knowledge representation and automated reasoning.

Analysis of his recent publications (2023-2025) reveals a concentrated focus on decidability mechanisms and unified proof-theoretic frameworks. His research spans theoretical investigations (e.g., fixed-point equations in dynamic logic) to applied systems (e.g., standpoint temporal logic for multi-perspective reasoning), demonstrating consistent innovation in sequent calculus applications across diverse logical domains.

Dr. Lyon advises master's students through thesis topics such as "A Simplified Tableau Calculus for Standpoint LTL" and "Ill-Founded Linear Nested Sequents for LTL" under the DeciGUT project. His research is supported by European Research Council funding, with collaborative work spanning institutions including Vienna University of Technology, CNRS, and KU Leuven.

He operates within the International Center for Computational Logic (ICCL), a specialized research unit under the Faculty of Computer Science dedicated to advancing logical methods in computer science through interdisciplinary collaboration and theoretical innovation.