From 12e03f4647bfc1cb56c5500ab63c6a85aa6a9600 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 18 Jan 2018 12:17:41 +0000
Subject: [PATCH] Update d-osualdo.md

---
 _people/d-osualdo.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/_people/d-osualdo.md b/_people/d-osualdo.md
index 0e9dfac..aa609fe 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.
-- 
GitLab