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

Adolfo Neto (Adolfo Gustavo Serra-Seca-Neto) - Assistant Professor

por Adolfo Gustavo Serra Seca Neto última modificação 12/05/2017 09:25

Adolfo Neto

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

I was (April 2014-March 2015)  a visiting professor at North Carolina State University.

 

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

 

My research interests are:

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


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