SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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

SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Proving Hypersafety Compositionally
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Mentor in Mentors within the PLMW-track
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
SAS 2022 Session Chair of Security (part of SAS)
Show activities from other conferences

SPLASH 2022-profile
View general profile