M.Sc

Programas e Universidades para os quais me candidatei

Universiteit Utrecht - ACEITO
UNICAMP (Flyer) - ACEITO - 2o. lugar geral do Brasil
UFSC - ACEITO
Erasmus Mundus - EMECS - Kaiserslautern, Southampton (Flyer) - RECUSADO

Posssible scholarships and sources of income to support my studies:

Utrecht Excellence Scholarship - OBTIDA, em valor máximo
Mestrado CNPq - OBTIDA, com oferta de bolsa FAPESP
European Comission - RECUSADA

Depois de todas as candidaturas, esse foi o resultado final:

Minha nova cidade: Utrecht - Holanda
Minha universidade: Universiteit Utrecht
Bolsa: Utrecht Excellence Scholarship

Disciplinas cursadas:

A lista de disciplinas que cursei no programa de mestrado na Universiteit Utrecht, ordenadas por período acadêmico.

1o período:
- Algorithms and Networks
- Generic Programming
2o período:
- Advanced Functional Programming
- Evolutionary Computing
3o período:
- Compiler Construction
- Program Verification
4o período:
- Automatic Program Analysis
- Dependently-Typed Programming