what is this?

Emanuele D'Osualdo

Researcher in Computer Science

Welcome to my homepage!
I am a Postdoctoral Researcher in Theoretical Computer Science at MPI-SWS Saarbr├╝cken, working with Derek Dreyer. Until September 2020 I was a Marie Curie Fellow 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