Differences

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

--- start [2021/04/12 12:15] – adolfont
+++ start [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?400|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]]