start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2021/04/12 12:16] – adolfontstart [2023/11/17 10:56] (current) – adolfont
Line 1: Line 1:
-I am an Associate Professor at the Informatics Department (DAINF) of the Federal University of Technology - Paraná (UTFPR).+I am slowly moving the content of this page to https://adolfont.github.io/.
  
-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. was with [[http://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]].+[[old page]]
  
-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 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 ====== 
- 
-{{::529d5029-1206-4711-935c-87fd8082ac66.jpeg?200|Grupo Emílias 2021 https://emilias.dainf.ct.utfpr.edu.br/}} 
- 
-Grupo Emílias 2021 https://emilias.dainf.ct.utfpr.edu.br/ 
- 
- 
-{{::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 
- 
- 
- 
-{{:photo.jpg?200|}} 
- 
- 
-[[2021]] 
- 
-[[2020]] 
- 
-[[2019]] 
- 
-[[2018]] 
  
start.1618229798.txt.gz · Last modified: 2021/04/12 12:16 by adolfont