User Tools

Site Tools


start

2021-09-23 - I am slowly moving the content of this page to https://adolfont.github.io/.

I am an Associate Professor at the Informatics Department (DAINF) of the Federal University of Technology - Paraná (UTFPR). My email is adolfo AT utfpr . edu . br.

I am a member of the Education, Training, & Adoption Working Group of the Erlang Ecosystem Foundation.

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. advisor was Ruy de Queiroz. My undergraduate thesis advisor was Evandro de Barros Costa.

Podcasts (in Portuguese):

My slide decks:

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.

My Google Scholar profile

My GitHub profile

Photos

Emílias

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, 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

Internal links by year

start.txt · Last modified: 2022/02/03 10:15 by adolfont