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 Concurrency Theory Group, University of Kaiserslautern. My research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.

News See all