Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Emanuele D'Osualdo

Registered user since Fri 26 Jan 2018

Name:Emanuele D'Osualdo
Bio:

I am a Marie-Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.

From 2017 to 2018 was a Research Associate in Philippa Gardner’s group at Imperial College London. From 2015 to 2017 I was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer.

In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford. My supervisor was Prof. C.-H. Luke Ong. My dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.

Country:United Kingdom
Affiliation:Imperial College London, UK
Research interests:Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Separation Logics, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming

Contributions

OPCT 2019 Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Show activities from other conferences

POPL 2019-profile
View general profile