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
Automated theorem proving (SAT Solvers, Tableau-based provers);
Teaching logic to computer science students.
My Google Scholar profile
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