Timo Lang
Hi!
I am a mathematician and computer scientist. My main interests are the proof theory and semantics of nonclassical logics, but I am also broadly interested in all applications of logic to computer science.
I am currently employed as a postdoctoral researcher in David Pym‘s IRIS group at University College London.
Positions
2021- Postdoctoral Research Fellow, University College London, London, UK
2017-2021 PhD student, TU Vienna, Vienna, Austria
Publications
Some Analytic Systems of Rules
to appear in: Proceedings of TABLEAUX 2023, Springer International Publishing, 2023.Cut-restriction: from cuts to analytic cuts
with Agata Ciabattoni and Revantha Ramanayake
to appear in: Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2023.From truth degree comparison games to sequents-of-relations calculi for Gödel logic
with Chris Fermüller and Alexandra Pavlova
Logica Universalis 16.1-2, 2022.Decidability and complexity in weakening and contraction hypersequent substructural logics
with A.R. Balasubramanian and Revantha Ramanayake
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, 2021.A Reduction in Violation Logic
Proceedings of DEON2020/21 (pp. 291–307).Bounded-analytic sequent calculi and embeddings for hypersequent logics
with Agata Ciabattoni and Revantha Ramanayake
The Journal of Symbolic Logic 86.2, 2021.Bounded sequent calculi for non-classical logics via hypersequents
with Agata Ciabattoni and Revantha Ramanayake
Proceedings of TABLEAUX 2019, Springer International Publishing, 2019.A game model for proofs with costs (Best Student Paper Award)
with Carlos Olarte, Elaine Pimentel and Chris Fermüller
Proceedings of TABLEAUX 2019, Springer International Publishing, 2019.Interpreting sequent calculi as client-server games
with Chris Fermüller
Proceedings of TABLEAUX 2017, Springer International Publishing, 2017.Games, Modalities and Analytic Proofs in Nonclassical Logics
(thesis)