The following Language Technology Group staff are involved in PROSPER work:

• Claire Grover
• Alexander Holt
• Ewan Klein
• Marc Moens

In 1999 we benefitted from work on LTL conversions by Tom Laureys, a School of Cognitive Science MSc student, now contactable at tom.laureys@esat.kuleuven.ac.be.

During the summer of 1998 Danny Tidhar, an MSc student in the Department of Linguistics, worked with us on the first version of our English to CTL convertor.

A number of staff in Edinburgh's Mathematical Reasoning Group are informally associated with the PROSPER project, including:

• Alan Bundy
• Louise Dennis