Martin Bodin

Martin Bodin
PhD in Computer Sciences, IRISA, Université Rennes 1, France (2016)
Master in Computer Science, École Normale Supérieure de Lyon, France (2012)

Research interests:
I am currently working on formalising the R programming language in the Coq proof assistant.
mbodin (at) cmm (dot) uchile (dot) cl
+56 2 2978 4463
office: 718
Personal Homepage
Publications (link)
Under the supervision of Éric Tanter (DCC, UChile).