Computer Science, PhD student
Rennes, FR
santiago.bautista [at] ens-rennes.fr
Programing languages I use
OCaml
Coq, Isabelle/HOL
Python, C, Scala, Java
LaTeX
Languages I speak
English
French
Spanish
Italian
Esperanto