skip to primary navigationskip to content

Department of Computer Science and Technology

Systems

Group Members

Faculty

Jon Crowcroft

Jon Crowcroft has been the Marconi Professor of Communications Systems in the Computer Laboratory since October 2001. He worked on Internet support for multimedia communications for two decades. Three main topics of interest have been scalable multicast routing, practical approaches to traffic management, and the design of useful end-to-end protocols. Nowadays, he works on mobile, opportunistic, social, low energy, privacy preserving systems.

David Greaves

David Greaves is a University Senior Lecturer undertaking research in system specification with emphasis on interconnection, networking and component assembly. He has worked on tools for hardware RTL synthesis using model checkers and automated provers and is now applying these techniques to more general software systems.

Tim Griffin

Tim Griffin is Professor of Computer Science and Fellow of King's College, having joined the Department in January 2005. Previously Tim had been a researcher with Intel Research, AT&T Research, and Bell Laboratories. Tim's research is currently focused on applying rigorous modelling and analysis methods to problems of network design and network protocol design, especially Internet routing protocols.

Evangelia Kalyvianaki

Evangelia Kalyvianaki is a Senior Lecturer (Assistant/Associate Professor), having been a Lecturer at the Department of Computer Science at City University London and a post-doctoral researcher in the Department of Computing, Imperial College London. She obtained her Ph.D. from the SRG, and M.Sc.and a B.Sc. degrees from the Computer Science Department of the University of Crete, Greece. Her research interests span the areas of Cloud Computing, Big Data Processing, Autonomic Computing, Distributed Systems and Systems Research in general. She is interested in the design and management of next generation, large-scale applications in the Cloud, and drawn to addressing the complexity of modern systems with mathematical reasoning.

S. Keshav

S. Keshav is the Robert Sansom Professor of Computer Science in the Department of Computer Science and Technology at the University of Cambridge. He is also a Fellow of the ACM and IEEE. Before joining Cambridge, he was a Professor at the Cheriton School of Computer Science at the University of Waterloo. His current research is to use techniques and technologies from computer science to encourage the adoption of renewable energy and to reduce the carbon footprint of legacy systems. A recent focus is on blockchains for transactive energy.

Ian Leslie

Ian Leslie is a Professor in the Computer Laboratory and was Head of Department from 1999 until 2004. His main interests are in operating systems and networks. His PhD, obtained in the Laboratory in 1983, was concerned with high capacity wide area networks. His approach to his research is experimental, and he has been involved in many collaborations which have built real systems, the most recent of which are the Nemesis operating system and the Tempest networking environment.

Ian Lewis

Ian Lewis is Director of the Adaptive Cities Programme and Fellow of Girton College. His research interests are the real-time collection and analysis of urban sensor data and the evolution of the intelligent Future City. Research themes include sensor networks, intelligent sensor design, real-time processing, prediction, planning and privacy. His PhD, from the Lab in 1998, was concerned with robust distributed parallel AI.

Anil Madhavapeddy

Anil Madhavapeddy is a University Lecturer and a Fellow of Pembroke College. His research interests are at the intersection of operating systems and programming languages, and he runs the OCaml Labs initiative across the Systems Research Group and Programming Languages and Semantics group. He is an active open-source developer, most recently on the MirageOS unikernel, the Xen hypervisor, and the OCaml programming language.

Cecilia Mascolo

Cecilia Mascolo is a Professor of Mobile Systems and a Fellow of Jesus College. Her research interests are in the areas of mobility modelling and mobile data analytics, mobile systems, ubiquitous computing and sensing.

Andrew Moore

Andrew Moore moved back to the Computer Laboratory in 2007. Interests have remained focused for the last 20 years on mechanism and applications of network monitoring. In recent years network traffic identification, specifically application identification, has been a primary interest. Recently networking interests have tended to applying novel techniques, mostly drawn from the machine-learning community, and applying these to problems in the network-traffic domain. Andrew also has a keen interest in small-system optical networks (optical networks on the 100, 10, 1 meter scale, e.g., optical PCI buses.

Richard Mortier

Richard Mortier (mort) is Professor in Computing & Human-Data Interaction, and President of Christ's College. He returned to the Computer Laboratory in 2015, having spent time at Sprint ATL, Microsoft Research Cambridge, Vipadia Limited and Horizon Digital Economy Research at the University of Nottingham. He is interested in the intersection of systems and HCI, and the ways that design of our computing infrastructure constrains and enables our interactions.

Robert Watson

Robert Watson is a Senior Lecturer in Systems, Security, and Architecture at the Computer Laboratory. He leads several cross-layer research projects spanning computer architecture, compilers, program analysis, program transformation, operating systems, local and distributed tracing, networking, and security. His current research looks at clean-slate CPU/software for security (the CHERI Instruction-Set Architecture), software analysis and transformation, and network-stack performance and tracing. Past work includes the Capsicum capability system and TrustedBSD MAC Framework, a widely deployed OS access-control extensibility framework (now found in FreeBSD, Mac OS X, Apple iOS, Junos, and other products). Robert has strong interests in open source, and is a member of the FreeBSD Foundation board of directors. He teaches the undergraduate Part I.B course Concurrent and Distributed Systems, the MPhil course Advanced Operating Systems, and co-teaches the MPhil courses Computer Security: Principles and Foundations and Computer Security: Current Research and Applications.

Researchers & Staff

Justas Brazauskas

Justas Brazauskas currently works as a Research Assistant focusing on the Internet of Things, Human-Computer Interaction and Smart Spaces. His previous research experience includes two summers spent at York Cross-disciplinary Centre for Systems Analysis (YCCSA) and UCL Interaction Center (UCLIC). He graduated in 2019 from UCL's BASc degree with first-class honours majoring in Sciences and Engineering.

Matthew Danish

Matthew Danish is a Research Associate in the Systems Research Group at the Department for Computer Science and Technology in the University of Cambridge. Prior to joining the SRG he was a member of the Digital Technology Group. He received his BS in Logic and Computation from Carnegie-Mellon University in 2004 and his PhD in Computer Science from Boston University in 2015. His past research was focused on software correctness verification and program analysis, including a prior project to find bugs in scientific software written in Fortran over several generations. His current research is to build intelligent sensors and an architecture for real-time complex event processing and analysis for digital twins.

Heidi Howard

Heidi Howard is a Research Fellow in Computer Science at Trinity Hall, Cambridge and an Affiliated Lecturer at Cambridge University’s Department of Computer Science and Technology. She received her BA in Computer Science from Cambridge University in 2014 and her PhD from Cambridge University for her research on distributed consensus in 2019. Her research focuses on improving consistency, reliability and performance in distributed systems. She is probably most widely known for her generalizations of the widely used Paxos algorithm for solving consensus, including her work on Flexible Paxos.

Martin Kleppmann

Martin Kleppmann is a Senior Research Associate, Leverhulme Trust Early Career Research Fellow, and affiliated lecturer at the Department of Computer Science and Technology. He leads the TRVE Data project, which aims to improve the security and resilience of collaboration software. Martin's research spans CRDTs, distributed systems, databases, security protocols, formal verification. His book, Designing Data-Intensive Applications, is a popular text on data systems architecture. Previously he was an entrepreneur at two startups and a software engineer at Internet companies.

Malcolm Scott

Malcolm Scott is the IT Infrastructure Specialist at the University of Cambridge Department of Computer Science and Technology ("The Computer Laboratory"). He manages the department's datacentre, network infrastructure, research systems and a small team of sysadmins and technicians. In a past life, he designed protocols for data centres including MOOSE, a system to improve the scalability of Ethernet, and WAPITI to enable network-layer mobility (of virtual machines, primarily) at scale.

Rohit Verma

Rohit Verma is a Research Associate in the Systems Research Group at the Department of Computer Science and Technology, University of Cambridge. Prior to joining University of Cambridge, he was a PhD student in the Complex Network Research Group at the Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, India (2016-2020). His primary area of research has been in the field of sensor data collection and analysis obtained from multi-modal sources. Currently, he is focused on the real-time aspect of data being generated by sensors deployed in the built environment. The idea being not only to store and learn from the data that these citywide sensors generate but to make crucial decisions with minimum latency.

Eiko Yoneki

Eiko Yoneki is an EPSRC Research Fellow, working on the following projects: DDDN: Data Driven Declarative Networking with MSR, Network Modelling for Epidemiology (EPSRC), and H2020 projects. Her group focuses on Data Centric Systems and Networking ranging from data-flow programming to large scale graph processing. She has received a PhD degree from the University of Cambridge in 2007. Previously, she has spent several years with IBM (US, Japan, Italy and UK) and worked on various networking products.

Students

Visitors

Timothy L. Harris

Tim Harris is a Principal Architect with Microsoft Research, working on the ONNX Runtime System for machine learning inference and training. His research interests include parallel programming, OS/runtime-system interaction, and opportunities for specialized architecture support for particular workloads.

Liang Wang

Liang Wang was a Senior Research Associate in the Computer Laboratory, affiliated with Queens' College. He is now a visiting researcher focusing on scientific computing, parallel and distributed computing, applied machine learning.

Noa Zilberman

Noa Zilberman was a Leverhulme Early Career Fellow at the Computer Laboratory, where she works on reconfigurable network systems and high-performance networking and computing architectures. Other research interests include interconnect, network measurements and Internet topology. Previously, Noa had spent 15 years in industry, last as a Senior Principal chip architect at Broadcom's Network Switching group. She has a PhD in Electrical Engineering from Tel-Aviv University.

Past Members & Visitors

This list may well be neither complete nor up-to-date, so please contact us if you wish to add yourself or update your link!