Document Actions
José Nuno Oliveira
|
|
jno@di.uminho.pt |
|
|
Lic Electronics Engineering, FEUP (1978) MSc DCS Manchester, UK (1980) PhD DCS Manchester, UK (1984) |
|
|
Formal Methods Software Engineering Algebra of Programming |
|
|
http://www.di.uminho.pt/~jno |
| Research Projects: |
APPSEM II - Applied Semantics II Evolutionary Verification, Validation and Certification IKF-P!2235 - Information Knowledge Fusion - Portugal - Projecto Eureka 2235 MathIS - Reinvigorating Mathematics for the Information Society PURe - Program Understanding and Re-engineering: Calculi and Applications SeARCH: Services and Advanced Research Computing with HTC/HPC clusters |
| Publications: | Click here for the publication listing |