This is an old revision of the document!
Table of Contents
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 undergraduate thesis advisor was Evandro de Barros Costa.
Podcasts (in Portuguese):
All my links: https://linktr.ee/adolfont
My research interests are:
- Agile software development, practices (TDD) and activities (Coding Dojos, Coderetreats)
- Knowledge sharing between software developers, particularly within The Elixir programming language and the BEAM community
- Automated theorem proving (SAT Solvers, Tableau-based provers);
- Teaching logic to computer science students.
Photos
Emílias
Grupo Emílias 2021 https://emilias.dainf.ct.utfpr.edu.br/
Empirical Software Engineering Group
Past photos
Realsearch Group
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
