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

Update 2017-04-24-Dosualdo.md

parent 43e25b29
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-04-24-Dosualdo.md
+ 1
− 0
View file @ 7357a865
...@@ -2,6 +2,7 @@ ...@@ -2,6 +2,7 @@
title: Welcome to Emanuele D'Osualdo, new member of the group title: Welcome to Emanuele D'Osualdo, new member of the group
--- ---
A very warm welcome to Emanuele D'Osualdo, who joined the group this week. A very warm welcome to Emanuele D'Osualdo, who joined the group this week.
Emanuele did his PhD on the [Verification of Message Passing Concurrent Systems]( http://www.emanueledosualdo.com/doc/thesis.pdf) Emanuele did his PhD on the [Verification of Message Passing Concurrent Systems]( http://www.emanueledosualdo.com/doc/thesis.pdf)
at the University of Oxford under the supervision of Prof Luke Ong, winning the at the University of Oxford under the supervision of Prof Luke Ong, winning the
[2016 CPHC/BCS Distinguished Dissertation award]( http://academy.bcs.org/content/distinguished-dissertations-2016). [2016 CPHC/BCS Distinguished Dissertation award]( http://academy.bcs.org/content/distinguished-dissertations-2016).
......
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