|
Principal research interests |
| Mike Cowlishaw |
decimal arithmetic in hardware and software; programming languages (visiting professor) |
| Arshad Jhumka |
fault tolerance; security; high performance/efficiency issues |
| Marcin Jurdzinski |
algorithmic game theory; probabilistic, real-time, and biological systems |
| Sara Kalvala |
deductive verification; biological systems |
| Ranko Lazic |
logic, automata and games; verification of software; concurrent systems (group coordinator) |
| Steve Matthews |
topology in computer science; computing and philosophy; computing and education |
| Rajagopal Nagarajan |
quantum computation and quantum information; concurrency theory and distributed computing; theory of programming languages; information security |
| Rahul Savani |
game theory; algorithms; automated trading (postdoctoral fellow) |
| Jane Sinclair |
formal software development; combining formal approaches; security protocols; computing and education |
Postgraduate students
Russell Boyatt, Timothy Davidson, John Fearnley, Jason Nurse, Nick Papanikolaou, Michal Rutkowski, Benjamin Smith, Ashutosh Trivedi, Richard Warburton
Former members
Doron Peled, Chien-An Chen, Aleksandar Dimovski, David Lacey, Caroline Rogers
