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