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
Erlang 2021 PC Member in Program Committee within the Erlang 2021-track
POPL 2022 Author of TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the POPL-track
POPL 2021 Committee Member in Selection Committee within the Student Research Competition-track
SPLASH 2022 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
OPCT 2019 Author of Compositional Reasoning for Termination of Fine-grained Concurrent Programs within the OPCT 2019-track
Erlang 2018 Committee Member in Program Committee within the Erlang 2018-track
AGERE 2012 Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track