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 publications:

Social Networks:

Leadership roles

Internal

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, Akond Rahman, Patrick Francis, Amit Banthiya, Patrick Morrison, Christopher Theisen

start.txt · Last modified: 2018/03/21 14:45 by adolfont