Courses

• • Estruturas de Dados e Algoritmos. (in portuguese)

  • Laboratório de Estruturas de Dados e Algoritmos (in portuguese)

  • Programação Funcional (in Portuguese)

  • Engenharia de Software (pós-graduação - in portuguese)

  • Métodos Formais (in portuguese)

Talks and Short Courses

• • Talk about formal methods tools (UAG - in portuguese)

  • Advanced Data Structure (UAG - in portuguese). Slide 1, Slide 2, Slide 3, Slide 4, Exercise 1, Exercise 2

  • Compilers and Stratego (UAG - in portuguese)