Department of Computer Science

Site logo

Formal Methods Research Group

[c]

Research within the Formal Methods Group addresses in a broad fashion the problem of specifying, developing and maintaining computing and communication systems which are reliable and secure. The areas of our research range from theory to practice, and include the following. More information can be found on the members' pages.

  • logic, automata and games in computer science;
  • algorithms and complexity of formal verification and synthesis;
  • formal methods for probabilistic, real-time, hybrid, mobile, quantum computing, and biological systems;
  • testing, model checking, and deductive verification;
  • fault tolerance, security, and high performance.

Our research is funded by EPSRC, EU, Intel Corporation, and other organisations.
We collaborate with researchers at leading European and American universities, and from industry.

The group meets regularly at its research seminars.

 

group logo

Page contact: Ranko Lazic Last revised: Sat 9 May 2009
Back to top of page
 

Web site search

People search

News

News.