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.

Group Publications

  1. Skeletal Semantics and their Interpretations

    PACMPL, vol. 3( POPL)

  2. A Trusted Mechanised JavaScript Specification

    Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), pp. 87–100