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:


Address:

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