Paulo Filipe Araújo da Silva

I am a PhD student at the Departamento de Informática (Department of Informatics) of the Universidade do Minho in Braga, Portugal. I have started my work at January, 2005, with supervision of Prof. Dr. José Nuno Oliveira. My thesis theme is Galculator: Program calculus based on Galois connections (resume, poster).

I have graduted in Engenharia de Sistemas e Informática (LESI) at Universidade do Minho in 2004.

Interest Areas

• Functional Programming
• Formal Methods
• Program Transformation
• Program Understanding
• Program Calculus
• Abstract Interpretation

Projects

• Research.IKF-P
• Research.PURe
• VooDooM

Contact

• Email: paufil@di.uminho.pt
• WWW: (this page)
• Gab: 1.08
• Address:

  Departamento de Informática, Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Portugal.

  Wiki Options

  • Set ALLOWTOPICCHANGE = PauloSilva