Santiago Bautista, PhD - ENS Rennes

Santiago Bautista, PhD

Computer Science, Teacher (agrégé)

Chambéry, FR

santiago.bautista [at] ac-grenoble.fr

Programing languages I use

OCaml, Python

Rocq, Isabelle/HOL

C, Scala, Java

LaTeX

Languages I speak

English

French

Spanish

Italian

Esperanto

Hello, I am Santiago Bautista.
Welcome to my webpage.

I have a PhD in computer science from ENS Rennes, done at Inria and Irisa, under the supervision of Thomas Jensen and Benoît Montagu, in the Epicure team.

Publications

An input–output relational domain for algebraic data types and functional arrays
Santiago Bautista, Thomas Jensen, Benoît Montagu.
FMSD 2024
Preprint (open access) · Publisher version

Lifting Numeric Relational Domains to Algebraic Data Types
Santiago Bautista, Thomas Jensen, Benoît Montagu.
SAS 2022
Extended version (open acces) · Preprint (open access) · Publisher version

Petr4: Formal Foundations for P4 Data Planes
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster.
POPL 2021
Preprint (open access) · Publisher version

Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu.
NSAD 2020.
Preprint (open access) · Publisher version

Here are links to my CV

In english

In french