Emanuele D’Osualdo -

Registered user since Fri 26 Jan 2018

Name:Emanuele D’Osualdo

Bio:

Emanuele is a postdoctoral researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, working on deductive software verification with Derek Dreyer. Until September 2020 he was a Marie Curie Fellow at Imperial College London, working on verification of concurrent software with Prof. P. Gardner. From 2015 to 2017 he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. In 2015 he received a PhD (DPhil) in Computer Science from the University of Oxford. His supervisor was Prof. C.-H. Luke Ong and his dissertation won the 2016 CPHC/BCS Distinguished Dissertation award.

Country:Germany

Affiliation:MPI-SWS

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

X (Twitter): https://x.com/bordaigorl

GitHub: https://github.com/bordaigorl

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

Contributions