Skip to content
Snippets Groups Projects
Commit 12e03f46 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update d-osualdo.md

parent bce04689
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
_people/d-osualdo.md
+ 4
− 0
View file @ 12e03f46
......@@ -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.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment