From 1f68839990435d28747a74d62ff25b02c9c771e4 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 8 Nov 2018 16:42:27 +0000 Subject: [PATCH] Update 2018-10-15-sacha.md --- _posts/2018-10-15-sacha.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2018-10-15-sacha.md b/_posts/2018-10-15-sacha.md index 791d58c..6d91e15 100644 --- a/_posts/2018-10-15-sacha.md +++ b/_posts/2018-10-15-sacha.md @@ -2,7 +2,7 @@ title: Welcome to Sacha Ayoun, new PhD student with the group --- -We are very happy to welcome [Sacha Ayoun]( https://www.doc.ic.ac.uk/~sja3417/), who has joined the group as a PhD student. +We are very happy to welcome [Sacha Ayoun](https://www.doc.ic.ac.uk/~sja3417/), who has joined the group as a PhD student. Sacha will work on JavaScript Verification using separation logic, under the supervision of Philippa Gardner. Sacha completed his Supelec Engineer Diploma at [CentraleSupelec](http://www.centralesupelec.fr/), -- GitLab