Paulo Silva

Short Biography

Degrees

• PhD in Computer Science, University of Minho, 2009. 
  • Thesis entitled On the Design of a Galculator, under supervision of José N. Oliveira.

• Graduation in Computer Engineering, University of Minho, 2004.
  • Engenharia de Sistemas e Informática (LESI), 1999-2004.

Summer schools

I attended the following summer schools:

• Summer School Marktoberdorf, International Summer School on Engineering Methods and Tools for Software Safety and Security, August 5- 17, 2008, Marktoberdorf, Germany.
• International Summer School on Applied Semantics APPSEM-II, September 8-12, 2005, Frauenchiensee, Germany.

Reviewing activity

I served as external reviewer for several conferences: DSL 2009, ICTAC 2011, RAMiCS 2012 and SAC 2013. Moreover, I served as reviewer for JLAP.