- Anuj Dawar
- Reader in Logic and Algorithms
- Mike Dodds
- RA on Rely/Guarantee and Separation logic project
- Marcelo Fiore
-
Reader in Mathematical Foundations of Computer Science.
- Mike Gordon
-
Professor of Computer Assisted Reasoning.
- Tim
Griffin
- University Lecturer,
Interested in protocol modeling, network semantics.
- Bartek Klin
-
EPSRC Postdoctoral Research Fellow; operational semantics, algebraic specifications.
- Robin Milner
- Emeritus Professor
- Alan Mycroft
-
Professor of Computing; interests include compilation and static program
analysis.
- Scott Owens
-
RA on Netsem project.
- Matthew Parkinson
- RAEng/EPSRC Research Fellow; interests
include program verification, concurrency and object-orientation.
|
- Larry Paulson
-
Professor of Computational Logic; works on automatic theorem proving and its applications.
- Andrew Pitts
-
Professor of Theoretical Computer Science; programming language
semantics, applications of logic and category theory to computer
science.
- Martin Richards
-
University Senior Lecturer (retired).
- Tom Ridge
-
RA, working on the Netsem project.
-
Susmit Sarkar
- RA on Netsem project; interested in
logical frameworks, mechanized metatheory, and certified code
RA, working on the Netsem project.
- Peter Sewell
-
University Senior Lecturer; programming language semantics, network protocols, semantic
mechanisation, security, concurrency.
- Sam Staton
- EPSRC Postdoctoral Research Fellow. Interested in mathematical models of operational semantics.
- Glynn Winskel
-
Professor of Computer Science.
|