conf.researchr.org / Cristiano Vasconcellos
![Cristiano Vasconcellos](https://conf.researchr.org/getProfileImage/cristianovasconcellos/c870841f-c486-4f04-8b1c-659e6a3bf7e8/small.jpg?1719248514000)
Registered user since Mon 24 Jun 2024
Name:Cristiano Vasconcellos
Country:Brazil
Affiliation:Santa Catarina State University
Personal website: https://www.udesc.br/professor/cristiano.vasconcellos
Research interests:Programming languages; type systems; formal verification
Contributions