Education
- (2012- 2016 (expected))
Doctoral Programme in Computer Science. Faculdade de Ciências da Universidade do Porto.
– Thesis title: On the Descriptional Complexity of Some Operations and Simulations of Regular Models
- (2008 - 2010)
Master in Computer Science. Faculdade de Ciências da Universidade do Porto.
– Area of expertise: Logic and Programming
– Thesis title: Inferência de tipos em Python
– Final Classification: 18
- (2005 - 2008)
Degree in Computer Science. Faculdade de Ciências da Universidade do Porto.
– Final Classification: 15
Grants
PhD Grant(SFRH/BD/78392/2011). Doctoral Programme in Computer Science. Duration: 48 months. Start date: February 2012.
Rescue project (PTDC/EIA/65862/2006). Duration: 6 months. Start date: October 2010.
Teaching
(2010 - 2011)
Escola Superior de Estudos industriais e Gestão.
AEISP classes:
Algorithmics and programming (C# language). Databases: SQL programming environment.