conf.researchr.org / Carlos Olarte
![Carlos Olarte](https://conf.researchr.org/getProfileImage/carlosolarte1/b62241a0-131c-4c2a-b99e-9532e4fd4877/small.jpg?1711478803000)
Registered user since Sun 3 Jul 2022
Name:Carlos Olarte
Country:France
Affiliation:CNRS; LIPN; Université Sorbonne Paris Nord
Personal website: https://sites.google.com/site/carlosolarte/
Research interests:Formal methods, logic
Contributions