This is an old revision of the document!

---

I am an Associate Professor at the Informatics Department (DAINF) of the Federal University of Technology - Paraná (UTFPR).

I was (April 2014-March 2015) a visiting professor at North Carolina State University, working with Laurie Williams at the Realsearch group.

I hold a PhD. in Computer Science from the University of São Paulo (2007). My advisor was Marcelo Finger. My M.Sc. was with Ruy de Queiroz.

Podcasts (in Portuguese):

• Fronteiras da Engenharia de Software
• Elixir em Foco
• Emílias Podcast - Mulheres na Computação
• 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.

My Google Scholar profile

My GitHub profile

Photos