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