what is this?

Emanuele D'Osualdo

Researcher in Computer Science

Welcome to my homepage!
I am a post-doctoral researcher in Theoretical Computer Science, currently working at the Program Specification and Verification Group at Imperial College London. My research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.

News See all