Avatar

Santiago Bautista

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



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

I'm currently poursuing a PhD in computer science at ENS Rennes and Inria / Irisa, under the supervision of Thomas Jensen and Benoît Montagu, in the Epicure team.

Publications

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