Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Emanuele D'Osualdo

Registered user since Fri 26 Jan 2018

Name:Emanuele D'Osualdo
Bio:

I am a postdoctoral researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, working on verification of concurrent software with Derek Dreyer.

Until September 2020 I was a Marie Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner.

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:Germany
Affiliation:MPI-SWS
Research interests:Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Separation Logics, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming

Contributions

POPL 2021 Committee Member in Selection Committee within the Student Research Competition-track
Show activities from other conferences

POPL 2021-profile
View general profile