![Emanuele D’Osualdo](https://icfp18.sigplan.org/getProfileImage/emanueledosualdo/2f0cfdc7-a181-45b6-911b-ac4acd55c42d/small.jpg?1711524424000)
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
ICFP 2018-profile
View general profile
View general profile