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

Update 2017-02-20-Schmitt.md

parent cc02e1b7
No related branches found
No related tags found
No related merge requests found
......@@ -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.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment