ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
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

ECOOP 2022 Committee Member in Extended Review Committee within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
Show activities from other conferences

ECOOP 2022-profile
View general profile