Timo Lang

Positions

since 2024 Senior Research Engineer, Huawei Ireland Research Center
(I also maintain an affiliation with UCL as an honorary research fellow) 

2021-2024 Postdoctoral Research Fellow, University College London, London, UK

2017-2021 PhD student, TU Vienna, Vienna, Austria

Academic Service

Program Committees:  TABLEAUX 2023, NCL 2024, ARQNL 2024, ARQNL 2026

Reviewing: LICS, IJCAR, CSL, AiML, WoLLIC,  ISMVL, FoIKS, JANCL

Peer-Reviewed Publications

• Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability
  with Claudia Cauli, Chen Shuo, Sebti Mouelhi, Jin Xin, Subhajit Bandopadhyay, Chen Xusheng, Feng Yazhi, Song Haoze, James Tang, Sheng Zhenli and Ananth Shrinivas Srinath
  Eurosys 2026

• Analytic Proofs for Tense Logic (Best Paper Award)
  with Agata Ciabattoni and Revantha Ramanayake
  Proceedings of TABLEAUX 2025, Springer International Publishing, 2025.

• 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, 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)