Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
bodin.md 874 B

firstname: Martin lastname: Bodin position: Research Associate webpage:
email: m.bodin@imperial.ac.uk github:
alumnus: false projects:

  • web

Martin Bodin is a Research Associate with the group. Martin Bodin did his PhD at the University of Rennes 1 under the supervision of Alan Schmitt and Thomas Jensen. He participated to 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