EPSRC-funded project entitled User interface design for mechanized theorem proving. October 94 - September 97. Investigators: Tom Melham, Muffy Thomas, me. Research Assistant: Stuart Aitken.
EPSRC-funded project entitled Systematic, Generic Interfaces to Databases. October 96 - September 99. Sites: GUCSD, Napier University, University of Manchester. Investigators (GUCSD): Richard Cooper, me. Research Assistant (GUCSD): Joanna McKirdy.
SHEFC-funded project entitled Metropolitan Area Network Teaching of Computer-Human Interaction. Sites: GUCSD, Glasgow Caledonian University, Napier University, Heriot-Watt University. Investigator (GU): Steve Draper (Psychology), me.
ESPRIT-funded Working Group entitled Foundations of Advanced Information Visualisation. Completed August 1996. Sites: GMD, Darmstadt; Universita di Roma "La Sapienza", GUCSD. WG members (GUCSD): Richard Cooper, me.
Representer is a visual-programming system for building
information visualisations, incorporating design
constraints.
Revised 20 March 1997