Timo Lang
Timo Lang
Embedded Files
Hi!
I am a mathematician and computer scientist. My academic work focuses on the semantics and proof theory of non-classical logics. In industry, I am using formal methods to improve the reliability of software.
In December 2024, I have joined a new team at Huawei Ireland Research Center that aims to prove the security of cloud services using automated reasoning techniques.
Before that, I was a postdoctoral researcher in David Pym‘s IRIS group at University College London.
Even earlier, I obtained a PhD in computer science from TU Vienna. My supervisors were Chris Fermüller and Agata Ciabattoni.
Positions
Positions
2024- Senior Research Engineer, Huawei Ireland Research Center
2021-2024 Postdoctoral Research Fellow, University College London, London, UK
2017-2021 PhD student, TU Vienna, Vienna, Austria
Peer-Reviewed Publications
Peer-Reviewed Publications
Bifurcation Logic: Separation Through Ordering
with Didier Galmiche, Daniel Méry and David Pym
Theoretical Aspects of Reasoning & Knowledge (TARK), 2025.A Simple Token Game and its Logic
with Chris Fermüller and Robert Freiman
LPAR, 2024.Minimalistic system modelling: Behaviours, interfaces, and local reasoning
with Didier Galmiche and David Pym
International Conference on Simulation Tools and Techniques, Cham: Springer Nature Switzerland, 2024.Some Analytic Systems of Rules
Proceedings of TABLEAUX 2023, Springer International Publishing, 2023.Cut-restriction: from cuts to analytic cuts
with Agata Ciabattoni and Revantha Ramanayake
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.From Semantic Games to Provability: The Case of Gödel Logic
with Robert Freiman and Alexandra Pavlova
Studia Logica, 2022Decidability 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)
Page updated
Google Sites
Report abuse