start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2021/09/23 21:36] – adolfont | start [2023/11/17 10:56] (current) – adolfont | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | //I am slowly moving the content of this page to https:// | + | I am slowly moving the content of this page to https:// |
| - | // | + | |
| - | 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. | ||
| + | [[old page]] | ||
| - | I am a member of the [[https:// | ||
| - | |||
| - | |||
| - | I was (April 2014-March 2015) a visiting professor at North Carolina State University, working with [[https:// | ||
| - | |||
| - | I hold a PhD. in Computer Science from the University of São Paulo (2007). My advisor was [[https:// | ||
| - | |||
| - | Podcasts (in Portuguese): | ||
| - | * [[http:// | ||
| - | * [[http:// | ||
| - | * [[http:// | ||
| - | * [[http:// | ||
| - | |||
| - | My slide decks: | ||
| - | * https:// | ||
| - | * https:// | ||
| - | |||
| - | All my links: https:// | ||
| - | |||
| - | My research interests are: | ||
| - | |||
| - | * Agile software development, | ||
| - | * 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:// | ||
| - | |||
| - | [[https:// | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Photos ====== | ||
| - | |||
| - | |||
| - | ===== Emílias ===== | ||
| - | |||
| - | |||
| - | {{:: | ||
| - | |||
| - | Grupo Emílias 2021 https:// | ||
| - | |||
| - | ===== Empirical Software Engineering Group ===== | ||
| - | |||
| - | {{:: | ||
| - | |||
| - | ESE 2021 http:// | ||
| - | |||
| - | ====== Past photos ====== | ||
| - | |||
| - | ===== Realsearch Group ===== | ||
| - | |||
| - | |||
| - | {{:: | ||
| - | |||
| - | [[http:// | ||
| - | |||
| - | |||
| - | |||
| - | ====== Internal links by year ====== | ||
| - | |||
| - | |||
| - | |||
| - | [[2021]] | ||
| - | |||
| - | [[2020]] | ||
| - | |||
| - | [[2019]] | ||
| - | |||
| - | [[2018]] | ||
| - | |||
| - | {{: | ||
start.1632432966.txt.gz · Last modified: 2021/09/23 21:36 by adolfont
