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 Programming Languages, Verification, Security, Concurrency Theory, Types, Static Analysis, Process Algebra, Model Checking.

News See all