Avatar

Santiago Bautista

Computer science and mathematics student

Rennes, FR

santiago.bautista [at] ens-rennes.fr


Programing languages I use

Coq

Isabelle/HOL

C/C++

Scala

Ocaml

Python

Java

LaTeX


Languages I speak

English

French

Spanish

Italian



Hello, I am Santiago Bautista.
Welcome to my page

I'm currently poursuing

a master of science in computer science at the ENS Rennes

and a bachelor of science in mathematics at the ENS Rennes

Here are links to my CV

In english

In french