Comp. Science - 4a fase
Disciplinas cursadas no 4o. período do ano acadêmico 2012/2013, como parte do meu mestrado em “Computing Science - Software Technology” na Universiteit Utrecht. Esse período acadêmico aconteceu entre 22 de Abril de 2013 e 05 de Julho de 2013.
- INFOAPA - Automatic Program Analysis
- Arquivos
Professor: Jurriaan Hage
- INFODTP - (Seminar on) Dependently-Typed Programming
- Arquivos
- Projeto final (com Liewe Thomas van Binsbergen)
Professor: Wouter Swierstra