Add new file

_posts/2017-02-20-Schmitt.md

+---
+title: Visit from Julian Dolby, 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. 
+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.
+
+During his visit, Alan worked with Thomas Wood on [JSExplain](https://github.com/jscert/jsexplain), 
+a symbolic interpreter and debugger for the JavaScript specification, following on the work Thomas during 
+his internship at Inria this year. He also worked with Thomas Wood, Philippa Gardner, and Petar Maksimović 
+on the generation of tests from the description of a semantics.
\ No newline at end of file