Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Emanuele D'Osualdo, PhD


I am now at Imperial College London.

My research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Abstract Interpretation, Model Checking, Programming Languages, and Declarative Programming.

Short Bio

2017–current Research Associate at Imperial College London, UK.
2015–2017 PostDoc at the Concurrency Theory Group, TU Kaiserslautern, Germany.
Working with Roland Meyer.
2015 PhD in Computer Science, University of Oxford, UK.
Supervisor: Prof. C.-H. Luke Ong.
My PhD thesis won the BCS/CHPC Distinguished Dissertation Award.
2010 MSc in Computer Science, University of Udine, Italy.
Graduated with honors.

Teaching @ Uni-KL