Skip to main content

Emanuele D'Osualdo

Personal photo - Emanuele D'Osualdo

Emanuele D'Osualdo

Doctoral Student

Leaving date: 8th April 2015


Semantics, Model Checking, Abstract Interpretation, Process Algebra, Declarative Programming, Models of Concurrency


Please refer to my new homepage for details.

In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford under the supervision of Prof. C.-H. Luke Ong.
Previously, I did my undergraduate and master's studies at the University of Udine, Italy, graduating with honors.

Selected Publications

View AllManage publications