Noticias en español
NOTICE: This person is currently NOT AN ACTIVE MEMBER of the CMM - Contact data may be outdated.
Postdocs
PhD in Computer Sciences, IRISA, Université Rennes 1, France (2016)
Master in Computer Science, École Normale Supérieure de Lyon, France (2012)
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.
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)
+56 2 2978 4463
office: 718
Personal Homepage
Publications (link)
Comments:
Under the supervision of Éric Tanter (DCC, UChile).
Under the supervision of Éric Tanter (DCC, UChile).
