CARLOS ALBERTO OLARTE VEGA

ESCOLA DE CIÊNCIAS E TECNOLOGIA

ESCOLA DE CIÊNCIAS E TECNOLOGIA

Acessar Currículo Lattes  

Biografia

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.

Formação Acadêmica

Áreas de Atuação

Não foi encontrada nenhuma informação para esta seção.