| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 2004 | - | On automating the extraction of programs from termination proofs | Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio | - | - |
| 16-Apr-2020 | 8-Jul-2019 | Programação e pensamento computacional no 8º e 9º ano do Ensino Fundamental : um estudo de caso | Pereira, João Pedro de Lima | Costa Júnior, Edson Alves da | - |