User:Logicgeek2021/Timothy S. Lyon

Timothy Stephen Lyon (* 1990 in Sacramento) is an American mathematical logician and a researcher in the Computational Logic Group at the Institute for Artificial Intelligence at Dresden University of Technology. His research focuses on structural proof theory.

Education and career
Tim S. Lyon was born in Scaramento, CA, USA in 1990. He completed his master's degree at Ludwig Maximilian University in Munich in 2016 and his doctorate at the Vienna University of Technology in 2021. He received the Christiana HÖRBIGER Award in both 2019 and 2020. The Award is presented twice a year to promote the international mobility of young scientists. In 2020 he joined the Computational Logic Group at TU Dresden as a postdoctoral researcher.

Research
His field of research covers mathematical logic in the broadest sense. Currently his interests concern the construction and application of proof systems for fragments of first-order logic, non-classical logics, and modal logics.

As a scientific researcher Tim Lyon is responsible for projects supported by various, large institutions, such as the FWF, ERC or the Volkswagen Foundation. Below is a selection of his current and completed research projects:


 * 2020–2024: DeciGUT: A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation; funded by ERC
 * 2019–2020: Norm-based reasoning: from legal and moral traditions to AI systems; funded by Volkswagen FoundationVolkswagen Foundation
 * 2017–2018: SYSMICS: Substructural logics - semantics, proof theory, and applications; funded by Marie-Skłodowska-Curie-Actions und RISE
 * 2017–2022: TICAMORE: Translating and Discovering Calculi for Modal and Related Logics; funded by FWFFWF and Agence nationale de la recherche
 * 2016–2017: Non classical proofs: Theory, Applications and Tools (Start-Preis); funded by Austrian Science Fund

Publications (Selection)
In January 2023, Lyon had an h-index of 6 and was cited 91 times (Google Scholar). A selection of his most cited papers follows:


 * T Lyon, A Tiu, R Goré, R Cloustoni (2019) Syntactic interpolation for tense logics and bi-intuitionistic logic via nested sequents
 * T Lyon, K van Berkel (2019) Automating agential reasoning: Proof-calculi and syntactic decidability for stit logics
 * A Ciabattoni, T Lyon, R Ramanayake (2018) From display to labelled proofs for tense logics
 * T Lyon (2021) Refining labelled systems for modal and constructive logics with applications
 * K van Berkel, T Lyon (2019) Cut-free calculi and relational semantics for temporal stit logics
 * A Ciabattoni, TS Lyon, R Ramanayake, A Tiu (2021) Display to labeled proofs and back again for tense logics

Awards

 * 2020: Christina HÖRBIGER Preis
 * 2019: Christina HÖRBIGER Preis
 * 2015–2020: President’s Honors, University of the People, Computer Science, Awarded 13 times for highest GPA
 * 2013: Honors in Mathematics, University of California, Santa Cruz, Awarded for A average across all mathematics courses
 * 2011–2013: Dean’s Honors, University of California, Santa Cruz, Awarded 5 times for top GPA