The Formal Methods Group works on the foundations of computation, developing logical and probabilistic frameworks for areas of computer science encompassing imperative and logical programming, concurrent and distributed computing, computer security and artificial intelligence. 

Head of research group

Profgessor Ron Van der Meyden
opens in a new window

Our people

Research Professor Carroll Morgan
opens in a new window
Senior Lecturer Eric Martin
opens in a new window
 Paul Hunter
opens in a new window

Adjuncts and external affiliates