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
View Profile
opens in a new window

Our people

Research Professor
View Profile
opens in a new window
Senior Lecturer
View Profile
opens in a new window
Lecturer (EF)
View Profile
View Profile
opens in a new window
Senior Lecturer in Epistemics
View Profile

Adjuncts and external affiliates

Empty profile image

  

View Profile
opens in a new window
View Profile