Emanuele D’Osualdo is a Research Associate with the group. 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)