Emanuele D’Osualdo is a Marie-Curie Fellow in Theoretical Computer Science, at Imperial College London, working with Philippa Gardner. His research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.
- Emanuele D’Osualdo
- Luke Ong
- Alwen Tiu
Proceedings of 30th IEEE Computer Security Foundations Symposium, (CSF 2017)