Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
Emanuele D'Osualdo

Registered user since Fri 26 Jan 2018

Name: Emanuele D’Osualdo

Bio: I am currently a Research Associate in Philippa Gardner’s group at Imperial College London. 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: United Kingdom

Affiliation: Imperial College London, UK

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

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

Contributions

AGERE 2012Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track
Show activities from other conferences

SPLASH 2012-profile
View general profile