Ferramentas Pessoais
Você está aqui: Página Inicial Users Adolfo Gustavo Serra Seca Neto English

Adolfo Neto - Assistant Professor

por Adolfo Gustavo Serra Seca Neto última modificação 24/04/2014 09:55

Adolfo Neto

I am an Assistant Professor at the Informatics Department (DAINF) of the Federal University of Technology - Paraná (UTFPR).

Currently (April 2014-March 2015) I am a visiting research scholar at North Carolina State University.


I hold a PhD. in Computer Science from the University of São Paulo (2007)


My research interests are:

  • automated theorem proving;
  • logic in computing;
  • agile software development.

My publications can be found in Publications.


Additional information:


Departamento de Informática
Curitiba-PR Brasil
CEP 80230-901
Phone: +55 (41) 3310-4747 (office)
Fax: +55 (41) 3310-4646



URL: http://www2.dainf.ct.utfpr.edu.br/Members/adolfo/english



Ações do documento