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

Personal website: http://www.emanueledosualdo.com/

Research interests: Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Separation Logics, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming


POPL 2021Committee Member in Selection Committee within the Student Research Competition-track
OPCT 2019Author of Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the OPCT 2019-track
Erlang 2018Committee Member in Program Committee within the Erlang 2018-track
AGERE 2012Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track