conf.researchr.org / Santiago Bautista
![Santiago Bautista](https://conf.researchr.org/getProfileImage/santiagobautista/e558a0ab-28b1-425c-94b5-94b4c57cb71c/small.jpg?1712203622000)
Registered user since Mon 26 Oct 2020
Name:Santiago Bautista
Country:France
Affiliation:Univ Rennes, Inria, CNRS, IRISA
Personal website: https://people.irisa.fr/Santiago.Bautista/
Research interests:Software verification, static analysis, abstract interpretation, interactive theorem proving
Contributions