UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Research groups

 

Formal Analysis, Theory and Algorithms

The group develops and applies mathematics and logic to the design and analysis of algorithms and reliable, safe, and efficient software and hardware systems. The group is especially interested in bringing the clarity and insight of formal theories to hard application problems of real practical significance. For example, the group has interests in:

  • software and hardware specification and verification
  • telecommunications software and protocols
  • stable matching algorithms, graph algorithms
  • stringology
  • reactive systems
  • theorem proving and model-checking
  • process algebra
  • type systems
  • constraint programming
  • quantum computation
  • computational biology
Many projects are collaborative, as the group aims to apply formal ideas to problems of genuine interest outside the formal community itself. Collaboration involves, for example, life scientists and communication system designers, companies in the telecommunications, software and electronics sectors, as well as government organisations.

Keywords: Theorem proving and model-checking; algorithm design and analysis; design and analysis of software and hardware systems; formal methods; feature interaction analysis; concurrency and distributed systems; programming language semantics and type theory; quantum computation; systems biology, bioinformatics and phylogenetics.

Academic Staff: Prof Muffy Calder, Dr Simon J Gay, Dr Rob Irving, Dr David F Manlove, Dr Alice A Miller, Dr Gethin Norman, Dr Patrick Prosser.

Associated Links: - FATA talks and seminars - Major FATA Research Projects - FATA past members.

Research Assistants and Research Students: Dr Oana Andrei, Dr Peter Biro, Mr Owain Brown, Mr Andrea Degasperi, Mr Robin Donaldson, Dr Nils Gesbert, Mr Ryan Kirwan, Mr Eric McDermid, Mr Iain McGinniss, Dr Gregg O'Malley, Mr Christopher Power, Dr Shamim Ripon, Mr Michele Sevegnani, Dr Christopher Unsworth, Mr Graham Wilson.

Publications