Collaborations
Groups
People
- David Aspinall (University of Edinburgh)
- Rob Arthan (Lemma1 and Queen Mary University of London)
- Alan Bundy (University of Edinburgh)
- Paul Cockshott (University of Glasgow)
- Murray Cole (University of Edinburgh)
- Simon Colton (Imperial College)
- Jacques Fleuriot (University of Edinburgh)
- Simon Gay (University of Glasgow)
- Clemens Grelck, (University of Amsterdam)
- Kevin Hammond (University of St Andrews)
- Paul Jackson (University of Edinburgh)
- Cliff Jones (Newcastle University)
- Rustan Leino (Microsoft Research)
- Steve Linton (University of St Andrews)
- Colin O’Halloran (D-RisQ Software Systems and University of Oxford)
- Patrick Maier (University of Glasgow)
- Stephen Muggleton (Imperial College)
- Alex Shafarenko (University of Hertfordshire)
- Kostis Sagonas (Uppsala University)
- Jeremy Singer (University of Glasgow)
- Alan Smaill (University of Edinburgh)
- Simon Thompson (University of Kent)
- Phil Trinder (University of Glasgow)
- Wim Vanderbauwhede (University of Glasgow)