This shows you the differences between two versions of the page.
— |
old_page [2023/11/17 07:55] (current) adolfont created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | 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:// | ||
+ | |||
+ | |||
+ | 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 ====== | ||
+ | |||
+ | [[2022]] | ||
+ | |||
+ | |||
+ | [[2021]] | ||
+ | |||
+ | [[2020]] | ||
+ | |||
+ | [[2019]] | ||
+ | |||
+ | [[2018]] | ||
+ | |||
+ | {{: | ||