Scholar
Emanuele D'Osualdo
Google Scholar ID: xH4XRWIAAAAJ
University of Konstanz
Citations & Impact
Citations
154
H-index
7
i10-index
6
Publications
17
Co-authors
18
list available
Publications
Resume (English only)
Academic Achievements
- He will be giving a keynote at HYPER’25; published an ESOP paper on An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols; attended POPL’25 where his Bluebell paper was presented.
Research Experience
- Currently, he is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz. He has been a Postdoctoral Researcher at MPI-SWS Saarbrücken and a Marie Curie Fellow at Imperial College London.
Education
- Until April 2024, he was a Postdoctoral Researcher at MPI-SWS Saarbrücken, working with Derek Dreyer. Until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner.
Background
- Researcher in Computer Science with interests in Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking.
Miscellany
- His homepage provides information about his blog, research, software, and about him.
