DIUM/CCTC
Login
|
Register
|
Print
Navigation
DI
Education
Events
Personal
Research
Main
»
TWikiUsers
»
PauloSilva
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
Attachment
Action
Size
Date
Who
Comment
VooDooM.ppt
props
,
move
244.5 K
26 Jul 2005 - 15:17
PauloSilva
FM'05 presentation about _VooDooM_
r20 - 26 Feb 2007 - 18:06:42 -
PauloSilva
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback
Syndicate this site
RSS
ATOM