I am now working at Kestrel Institute. Contact: firstname.lastname@example.org
- Extentioins of functional/logic specification and programming languages,
like higher-order extensions, multi-logic extensions.
- Methodologies of software development based on formal methods.
- Interactive systems for supporting software development based on
- PROgram development by
Correct Software (completed)
- A COMPrehensive Algebraic approach
to System Specification and development
- List of publications by clicking here.