emanueledosualdo.com - Homepage - Emanuele D'Osualdo

home > domains > emanueledosualdo.com

Description: My research, projects and blog

Example domain paragraphs

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 .

Contact me I am actively looking for faculty positions: contact me if you think I could be a good fit!

My research interests include Programming Languages, Verification, Security, Concurrency Theory, Types, Static Analysis, Process Algebra, Model Checking.

Links to emanueledosualdo.com (3)

• groupoid.moe Dan (Daniel) Frumin
• zetzsche.xyz Georg Zetzsche
• basvdheuvel.github.io Bas van den Heuvel