Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Formal Methods members

 


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