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.



EmailLinkedIn

Positions

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

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

Publications