conf.researchr.org / Carlos Olarte
![Carlos Olarte](https://conf.researchr.org/getProfileImage/carlosolarte/c028c4e2-b422-4b46-a9ce-a290be4743ce/small.jpg?1711528876000)
Registered user since Wed 10 Mar 2021
Name:Carlos Olarte
Country:Brazil
Affiliation:Federal University of Rio Grande do Norte, Brazil
Personal website: https://sites.google.com/site/carlosolarte/
Research interests:Formal methods, logic, concurrent systems
Contributions