membro de
- Computability, Approximate Reasoning, Ordered structures and Logics Grupo de Pesquisa
Carlos Alberto Olarte Vega
got his Ph.D. in Computer Science in 2009 at École Polytechnique (France). Currently, Carlos is professor at ECT-UFRN.
His research interests are concurrency theory, formal methods and logic. He is also a member of the AVISPA research group.
Áreas De Investigação
- Visão geral
- Publicações
- Ensino
- Identidade
- Ver todos