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.

Publications

Numeric Domains Meet Algebraic Data Types
Santiago Bautista, Thomas Jensen, and Benoît Montagu.
NSAD 2020.

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

Here are links to my CV

In english

In french