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.

Group Publications

  1. (Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

  2. Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-bounded Processes

    Proceedings of 30th IEEE Computer Security Foundations Symposium, (CSF 2017)