Specification Club

Charter
Club Meetings
Members and Projects
Specification Resources
Conferences

Members and Projects

Here are some of the Specification Club regulars, with links to specification-related projects they are involved in.

Don Sannella
Don is a primary originator of the Extended ML language, and also works on the foundations of formal software development. He is also involved in the collaborative CoFI (Common Framework Initiative) project.
David Aspinall
David has written a thesis which studies type systems for modular programs and algebraic specifications. He is the current Spec Club organiser.

If you would like to add details for yourself and any specification projects you're involved in, please send mail to specclub@dcs.ed.ac.uk You can also see who's on the current mailing list

Web pages by David Aspinall.
Please send any comments or suggestions to the Specification Club Organiser <specclub@dcs.ed.ac.uk>