Avatar

Santiago Sara Bautista, PhD

Alternating pronouns: he / she

Alternating first names: Santiago / Sara

Computer Science, Teacher (ATER)

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 Sara 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

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