Profile

• Name: José Nuno Oliveira
• Email: jno@di.uminho.pt
• WWW (non-wiki): http://www.di.uminho.pt/~jno

Interest Areas

• Formal Methods and Algebra of Programming
• Reverse Specification and Program Understanding
• Functional Programming & Rapid Prototyping

Projects

• PURe
• PUReCAMILA project initiative - just starting. Useful links: see /usr/lib/hugs/lib/exts/FiniteMap.lhs and Irish School of VDM - Software
• IKF