Prof. Adolfo Neto (DAINF-UTFPR)

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
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 [[https://erlef.org/wg/education|Education, Training, & Adoption Working Group]] of the [[https://erlef.org/|Erlang Ecosystem Foundation]].


I was (April 2014-March 2015)  a visiting professor at North Carolina State University, working with [[https://collaboration.csc.ncsu.edu/|Laurie Williams]] at the [[http://www.realsearchgroup.com/realsearch/|Realsearch group]].

I hold a PhD. in Computer Science from the University of São Paulo (2007). My advisor was [[https://www.ime.usp.br/~mfinger/|Marcelo Finger]]. My M.Sc. advisor was  [[http://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]]. My undergraduate thesis advisor was [[https://ic.ufal.br/institucional/docentes/evandro|Evandro de Barros Costa]]. 

Podcasts (in Portuguese):
  * [[http://anchor.fm/fronteirasES|Fronteiras da Engenharia de Software]]
  * [[http://anchor.fm/elixiremfoco|Elixir em Foco]]
  * [[http://anchor.fm/emilias-podcast|Emílias Podcast - Mulheres na Computação]]
  * [[http://anchor.fm/adolfont|Podcast Adolfo Neto]]

My slide decks:
  * https://www.slideshare.net/adolfont
  * https://speakerdeck.com/adolfont

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.


[[https://scholar.google.com.br/citations?hl=en&user=R7hC3-wAAAAJ&view_op=list_works&sortby=pubdate|My Google Scholar profile]]

[[https://github.com/adolfont/|My GitHub profile]]




====== Photos ======


===== Emílias =====


{{::emilias.jpeg?400|Grupo Emílias 2021 https://emilias.dainf.ct.utfpr.edu.br/}}

Grupo Emílias 2021 https://emilias.dainf.ct.utfpr.edu.br/

===== Empirical Software Engineering Group =====

{{::ese.jpeg?400|ESE 2021}}

ESE 2021 http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/area-academica/grupos-de-pesquisa-do-ppgca-ct/engenharia-de-software-empirica

====== Past photos ======

===== Realsearch Group =====


{{::realsearch1.jpg?200|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}}

[[http://www.realsearchgroup.org/realsearch/|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 ======

[[2022]]


[[2021]]

[[2020]]

[[2019]]

[[2018]]

{{:photo.jpg?200|}}