SPLASH 2021 (series) / Carlos Olarte
![Carlos Olarte](https://2021.splashcon.org/getProfileImage/carlosolarte/ae707932-a1df-4f72-95f5-14fe454861c3/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
SPLASH 2021-profile
View general profile
View general profile