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.
|2017–current||Research Associate at Imperial College London, UK.|
PostDoc at the Concurrency Theory Group,
TU Kaiserslautern, Germany.
Working with Roland Meyer.
PhD in Computer Science, University of Oxford, UK.
Supervisor: Prof. C.-H. Luke Ong.
My PhD thesis won the BCS/CHPC Distinguished Dissertation Award.
MSc in Computer Science,
University of Udine, Italy.
Graduated with honors.
Teaching @ Uni-KL
- Concurrency Theory (WS'16/17)
- Advanced Automata Theory (SS'16)