diff --git a/_people/d-osualdo.md b/_people/d-osualdo.md index 0e9dfacfff2696792adf1811980e84df57735392..aa609fe817ab90055cf9466d90b5687c90607b0e 100644 --- a/_people/d-osualdo.md +++ b/_people/d-osualdo.md @@ -10,3 +10,7 @@ projects: - concurrency redirect_from: /people/dosualdo.html --- + +Emanuele D'Osualdo is a Research Associate with the group. His research interests include Semantics, +Models of Concurrency, Static Analysis, Process Algebra, Security, +Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.