diff --git a/_posts/2018-10-15-sacha.md b/_posts/2018-10-15-sacha.md index 791d58c0ad1d92419b0fd2145251f4e996d58dc0..6d91e15e685970fb5b1fb6c40e568009a8f76b95 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/),