what is this?

Emanuele D'Osualdo

Researcher in Computer Science

Welcome to my homepage!
I am a Marie-Curie Fellow in Theoretical Computer Science, at Imperial College London, working with Prof. P. Gardner. My research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.

News See all