We are very happy to welcome Martin Bodin, who joins the group as a Research Associate. Martin did his PhD on Certified Semantics and Analysis of JavaScript at the University of Rennes 1 under the supervision of Alan Schmitt and Thomas Jensen. He then participated on the JSCert project to build a Coq specification for JavaScript.

He applied the same formalising technique to build a semantics for R during his postdoc at the University of Chile. These specifications come with a high degree of confidence, but also with a large size. His current work focuses on building and proving abstract analyses for such large semantics.

You can find more about Martin and his work on his webpage.