User Tools

Site Tools


start

I am an Associate 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, working with Laurie Williams at the Realsearch group.

I hold a PhD. in Computer Science from the University of São Paulo (2007). My advisor was Marcelo Finger. My M.Sc. was with Ruy de Queiroz.

My research interests are:

  • Agile software development, practices (TDD) and activities (Coding Dojos, Coderetreats)
  • Automated theorem proving (SAT Solvers, Tableau-based provers);
  • Teaching logic to computer science students.

My Google Scholar profile

Photos

Realsearch Spring 2015, Members from Left to Right: Maria Riaz, Rahul Pandita, Laurie Williams, Akond Rahman, Adolfo Neto, Jason King, Akond Rahman, Patrick Francis, Amit Banthiya, Patrick Morrison, Christopher Theisen

Realsearch Spring 2015. Members from Left to Right: Maria Riaz, Rahul Pandita, Laurie Williams, Akond Rahman, Adolfo Neto, Jason King, Patrick Francis, Amit Banthiya, Patrick Morrison, Christopher Theisen

2018

start.txt · Last modified: 2018/09/11 10:10 by adolfont