From 9315566dd505759ed0c2ae139434abb3c238b224 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 1 Mar 2017 15:26:21 +0000 Subject: [PATCH] Update 2017-02-20-Schmitt.md --- _posts/2017-02-20-Schmitt.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-02-20-Schmitt.md b/_posts/2017-02-20-Schmitt.md index aa6484f..84c546c 100644 --- a/_posts/2017-02-20-Schmitt.md +++ b/_posts/2017-02-20-Schmitt.md @@ -3,7 +3,7 @@ title: Visit from Alan Schmitt, Inria, France --- [Alan Schmitt](http://people.rennes.inria.fr/Alan.Schmitt/), a researcher in the [Celtique team](https://team.inria.fr/celtique/) -at [Inria](https://www.inria.fr/) in Rennes visited the group for a week in February. +at [Inria](https://www.inria.fr/) in Rennes visited the group this week. Alan's research focuses on the certification of semantics and static analyses, in particular the semantics of [JavaScript](http://jscert.org/) and analyses based on abstract interpretation. -- GitLab