Next: Computer Science courses Up: The Computer Laboratory: an Previous: Research Groups Contents

Subsections

University Teaching Officers

Ross Anderson

Ross Anderson is Professor of Security Engineering. His research interests include security engineering, cryptographic protocols, hardware tamper-resistance, the analysis and design of ciphers and the economics of security. He has MA and PhD degrees from the University, the latter being on the robustness of computer security systems.

Professor Anderson is one of the founders of the discipline of security economics; many systems fail not for purely technical reasons, but because of misaligned incentives. For example, the people guarding a system may not be the people who bear the costs of failure. He is one of originators of the current peer-to-peer movement; a paper he wrote in 1996 on the ``Eternity Service'' inspired later systems such as gnutella and freenet. He and his students also invented attacks on most of the available cryptographic processors, and on most of the existing schemes for embedding copyright marks in digital media. He has documented security failures in a number of important distributed systems including automatic teller machines, prepayment electricity meters and medical record systems. He is also the joint inventor, with Dr Simon Moore, of techniques to build integrated circuits with the properties that a single transistor failure will not give rise to incorrect outputs, and that the power consumption is independent of the data being processed.

Professor Anderson is the author of the standard textbook Security Engineering and teaches three undergraduate courses: Software Engineering (Part IB), Economics and Law (Part IB) and Security (Part II). He is also joint organiser of the second-year undergraduate group projects.

He is a Fellow of the Royal Society, the Royal Academy of Engineering, the IET and of the IMA, and a Chartered Engineer.

Personal web page:
http://www.cl.cam.ac.uk/users/rja14

Research group:
http://www.cl.cam.ac.uk/research/security

Jean Bacon

Jean Bacon is Professor of Distributed Systems. Lecture courses are in the areas Concurrent Systems, Operating Systems and Distributed Systems. She is the author of Concurrent Systems (Addison Wesley, 2nd edition 1998). A third edition exclusively for the Open University and a new version called Operating Systems: concurrent and distributed software design with Tim Harris were published in 2003. She is a Fellow of Jesus College and Director of Studies in Computer Science at Jesus.

With Ken Moody she leads the Opera Research Group. The focus of Opera group research is the design and deployment of open, large-scale, widely distributed systems. Major thrusts are in the areas of asynchronous middleware (the Cambridge Event Architecture (CEA) and Hermes), an open, role-based, access control architecture for secure interworking services (OASIS), policy expression and management and trust and risk in global computing. Opera comprises a dozen or so PhD students and Research Associates and has had EPSRC funded research grants for the Multi-Service Storage Architecture (MSSA), the IMP Interactive presentation support system, Active Systems, Global Computation using Events, Oasis implementation and evaluation, Access control policy management, ECCO (event-brokering for a distributed, adaptive mobile environment), Business contract driven application development and control, EDSAC21 (event-driven, secure application control for the 21st century), CareGrid (autonomous trust domains for healthcare applications) with Imperial College, TIME-EACM (transport information monitoring environment - event architecture and context management) with with Oxford University and BT, and an EU project SECURE (Secure Environments for Collaboration among Ubiquitous Roaming Entities). Recent grants are EPSRC Smart Flow, Extendable Event-Based Middleware and EPSRC/TSB PAL: Personal and Social Communication Services for Health and Lifestyle Monitoring.

She was Editor in Chief of IEEE Concurrency, Parallel, Distributed and Mobile Computing during 1999 and 2000 and EIC of IEEE Distributed Systems Online from 2000 to 2008. She is an Editorial Board member of IEEE Computer. She was elected to the governing body of the IEEE Computer Society (2002-4 and 2005-7) and is a Golden Core IEEE member. She is a Fellow of the IEEE and the British Computer Society.

She is PC co-chair of Middleware 2009 and general co-chair of DEBS 2010.

Personal web page:
http://www.cl.cam.ac.uk/users/jmb25

Research group:
http://www.cl.cam.ac.uk/research/srg/opera

IEEE DSOnline:
http://dsonline.computer.org

Alan Blackwell

Alan Blackwell is Reader in Interdisciplinary Design. His main interests are in human-computer interaction and design. He has worked as a commercial software engineer for 12 years, has a Master's degree in artificial intelligence - although his PhD, gained in Cambridge, was in Psychology. His research employs both cognitive science and experimental psychology methods as well as ethnographic observation, interviews, and exploratory implementation of interactive prototypes.

He collaborates a great deal with researchers in other Cambridge departments. He works particularly in art-science collaboration, in the design of new notations such as visual programming languages, and in ``tangible'' user interfaces based on augmented physical objects. He does much research in ``end-user programming'', done by people who are not professional programmers. Most research in that field concentrates on business applications, but Dr Blackwell's research extends to home programming such as central heating controls, media networks and remote controls for video and audio equipment.

Dr Blackwell is a Fellow and Director of Studies in Computer Science at Darwin College. He is co-director of Crucible, the Cambridge network for research in interdisciplinary design. He gives lectures on Human-Computer Interaction and Software Design, and runs the second-year undergraduate group projects.

He is a member of the Graphics and Interaction (Rainbow) Group, of the Security Group, and of several groups outside the Computer Laboratory.

Personal web page:
http://www.cl.cam.ac.uk/users/afb21

Research groups:
    http://www.cl.cam.ac.uk/research/rainbow
    http://www.crucible.cl.cam.ac.uk/
    http://www.inference.phy.cam.ac.uk/is/Welcome.html
    http://www.cl.cam.ac.uk/research/security

Ted Briscoe

Ted Briscoe has been a member of staff at the Computer Laboratory since 1989, a Reader since 2000 and Professor since 2004. His broad research interests are computational and theoretical linguistics and automated speech and language processing. He directs and is heavily involved in the teaching of the MPhil in Computer Speech, Text and Internet Technology, taught jointly with the Engineering Department.

From 1990 until 1996 he was an EPSRC Advanced Research Fellow undertaking research at Macquarie University in Sydney, University of Pennsylvania in Philadelphia and Xerox European Research Centre in Grenoble, as well as at the Computer Laboratory.

His specific research interests include (nearly-)deterministic, statistical, and robust parsing techniques, acquiring lexical information from electronic textual corpora and dictionaries, defaults and constraint-based approaches to linguistic description, exploiting prosody and punctuation during parsing, models of human language learning and parsing, and evolutionary simulations of language variation and change.

He has published over 70 research articles, edited three books, and been Principal/Co-Investigator or Coordinator of fourteen EU and UK funded projects since 1985. He is joint editor of Computer Speech and Language and on the editorial board of Natural Language Engineering.

Personal web page:
http://www.cl.cam.ac.uk/users/ejb

Research group:
http://www.cl.cam.ac.uk/research/nl

Stephen Clark

Stephen Clark is a Senior Lecturer in the Computer Laboratory, and a member of the Natural Language and Information Processing Research group. From 2004 to 2008 he was a University Lecturer at the Oxford University Computing Laboratory, and a Tutorial Fellow of Keble College, Oxford. Before that he spent four years as a postdoctoral researcher at the University of Edinburgh's School of Informatics, working with Prof. Mark Steedman. He holds a PhD in Artificial Intelligence from the University of Sussex and a first degree in Philosophy from the University of Cambridge (Gonville and Caius College).

His research draws on techniques from Computer Science, Linguistics and Machine Learning, with a main theme of combining symbolic and data-driven approaches to Natural Language Processing. His main research interest is the automatic parsing of natural languages. He is on the Editorial Boards of Computational Linguistics and the Journal of Natural Language Engineering, and is a frequent participant at the 6-week Language Engineering research workshops at Johns Hopkins University, where he will lead a team in 2009 working on large-scale parsing of the Web.

Personal web page:
http://www.cl.cam.ac.uk/users/sc609

Research group:
http://www.cl.cam.ac.uk/research/nl

Ann Copestake

Ann Copestake is a Reader in the Computer Laboratory. Her main interest is in Natural Language Processing (NLP). She was a Senior Research Engineer at the Center for the Study of Language and Information (CSLI) at Stanford from 1996 to 2000 and is still affiliated with CSLI as a senior researcher. At Cambridge, she teaches on the MPhil in Computer Speech, Text and Internet Technology, taught jointly with the Engineering Department, and also teaches a Part II Tripos course on Natural Language Processing.

Within NLP, Dr Copestake's research is mainly in computational semantics (including lexical semantics and robust semantics), lexical representation and on the syntax/ semantics and semantics/pragmatic interfaces. Much of her research is based on constraint-based formalisms, but she is also interested in statistical approaches and machine learning techniques. Her work has been used in several applications, including systems for e-mail response, information extraction, lexical acquisition and machine translation. She has also worked on augmentative and alternative communication, which concerns the needs of people with communication-related disabilities. She is heavily involved in the DELPH-IN collaboration, which releases open-source technology for NLP utilising high precision grammars.

Personal web page:
http://www.cl.cam.ac.uk/users/aac10

Research group:
http://www.cl.cam.ac.uk/research/nl

Jon Crowcroft

Jon Crowcroft has been the Marconi Professor of Communications Systems in the Computer Laboratory since October 2001. He has worked in the area of Internet support for multimedia communications for over 20 years. Three main topics of interest have been scalable multicast routing, practical approaches to traffic management, and the design of deployable end-to-end protocols. Current active research areas are Opportunistic Communications, Social Networks, and techniques and algorithms to scale infrastructure-free mobile systems. He leans towards a ``build and learn'' paradigm for research.

He graduated in Physics from Trinity College, University of Cambridge in 1979, gained an MSc in Computing in 1981 and PhD in 1993, both from UCL. He is a Fellow of the ACM, a Fellow of the British Computer Society, a Fellow of the IET and the Royal Academy of Engineering and a Fellow of the IEEE.

He likes teaching, and has published a few books based on learning materials.

Personal web page:
http://www.cl.cam.ac.uk/users/jac22

Research group:
http://www.cl.cam.ac.uk/research/srg

John Daugman

John Daugman is Professor of Computer Vision and Pattern Recognition. He obtained his AB and PhD degrees from Harvard University in the USA, where he also then taught on the Faculty. Before coming to Cambridge he held the Toshiba Chair at the Tokyo Institute of Technology, Japan, and during 2002-2004 he was the Johann Bernoulli Professor of Mathematics and Informatics at the University of Groningen, The Netherlands. At Cambridge he currently teaches Information Theory and Coding, and Computer Vision, to third year students.

Professor Daugman conducts research in statistical pattern recognition, computer vision, decision theory, and neural computing. One development and outgrowth of this research has been iris recognition, an automatic and rapid method for determining a person's identity with very high confidence, by mathematical analysis of the random patterns that are visible in the iris of an eye from some distance. Professor Daugman's algorithms for this process are the basis of all current publicly deployed iris recognition systems and have been licensed internationally, particularly in airports where governments (including the UK in Project IRIS) allow the process to substitute for a passport. (He is currently unable to take PhD students.)

Personal web page:
http://www.cl.cam.ac.uk/users/jgd1000

Research group:
http://www.cl.cam.ac.uk/research/ai/

Anuj Dawar

Anuj Dawar is Professor of Logic and Algorithms. He has been with the Computer Laboratory since January 1999, having previously been a senior research assistant and a lecturer at the University of Wales, Swansea. He has degrees from the Indian Institute of Technology, Delhi, and the University of Delaware and obtained his PhD from the University of Pennsylvania in 1993 with a thesis on the use of model-theoretic methods in the study of feasible computation.

More generally, Professor Dawar works on applications of logic in Computer Science. He is especially interested in those areas of theoretical computer science where logical and combinatorial methods combine in the study of algorithms. These include finite model theory and its connection to the study of computational complexity; the theory of databases; the complexity of games and the expressive power of logical formalisms.

Professor Dawar is a Fellow of Robinson College. He is vice-president of the European Association for Computer Science Logic and organiser of the 2012 Turing Centenary Conference.

In 2006, he organised a six-month long programme of research activities on the subject of Logic and Algorithms at the Isaac Newton Institute of Mathematical Sciences, Cambridge (see
http://www.newton.cam.ac.uk/programmes/LAA/index.html)

Personal web page:
http://www.cl.cam.ac.uk/users/ad260

Research group:
http://www.cl.cam.ac.uk/research/pls

Neil Dodgson

Neil Dodgson is Reader in Graphics and Imaging. He leads the Graphics and Interaction Research Group (Rainbow) in collaboration with Peter Robinson and Alan Blackwell. His research interests are geometric modelling, image processing, 3D display technologies, and computer graphics.

Dr Dodgson took his first degree at Massey University in New Zealand: a joint major in physics and computer science. He came to Cambridge in 1989 on a Cambridge Commonwealth Trust scholarship. His PhD was in image resampling where, amongst other advances, he discovered and analysed a useful family of quadratic reconstruction functions. He joined the Cambridge autostereoscopic 3D display project in 1991 and has undertaken research in the fields of image rendering, image processing, image compression, optics, and hardware design for the display. He became a permanent member of staff in 1995 and has since worked on a range of topics in computer graphics and image processing.

Dr Dodgson's current research centres around geometry modelling and image processing. In collaboration with Dr Malcolm Sabin, his group has been researching subdivision schemes. He is currently supervising four PhD students in the fields of modelling and imaging. Past PhD students have worked on image processing for the imagination, animation of autonomous actors, virtual sculpting of three-dimensional models using free-form deformation, physical modelling for animation of liquids, and image compression.

Dr Dodgson teaches research methods to Masters students and computer graphics and mathematical methods to second- and third-year undergraduates. He is a Fellow of Emmanuel College where he has served for many years as Director of Studies in Computer Science and as Assistant Bursar. He is a Fellow of the IET, a member of Eurographics and ACM SIGGRAPH, and a Chartered Electrical Engineer.

Personal web page:
http://www.cl.cam.ac.uk/users/nad

Research group:
http://www.cl.cam.ac.uk/research/rainbow

Marcelo Fiore

Marcelo Fiore is Reader in Mathematical Foundations of Computer Science, having previously been a Lecturer in the Computer Laboratory holding the EPSRC Advanced Research Fellowship Mathematical Models for Functional and Concurrent Computation since October 2000. He is a Fellow of Christ's College, where he has been serving as Director of Studies in Computer Science since January 2002.

Dr Fiore's general research interests are in mathematical models of computation and interaction. In particular, he is interested in investigating the mathematical structure of computational languages and interactive systems regarded as syntactic objects equipped with a behavioural semantics, with the aim of developing models that provide tools for thinking and reasoning about both syntactic and semantic aspects in a principled manner and lead to the design of foundational theories. His recent research interests also include combinatorics, computational algebra, and the analysis of algorithms. Indeed, one of his current main research programmes advocates a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This has already opened new ways in which to look at data type structure, yielding unexpected connections between various areas of computer science and mathematics; to wit, category theory, combinatorics, computation theory, computational algebra, group theory, mathematical logic, number theory, programming-language theory, type theory. Dr Fiore has recently presented one aspect of this work as an invited speaker for FOSSACS 2005 (Foundations of Software Science and Computation Structures) at ETAPS (European Joint Conferences on Theory and Practice of Software).

Dr Fiore obtained his doctorate at the Department of Computer Science in the University of Edinburgh in 1994. His doctoral thesis, Axiomatic Domain Theory in Categories of Partial Maps, was published in the British Computer Society Distinguished Dissertations Series in 1995. After his PhD, and before coming to Cambridge, Dr Fiore was a Research Fellow at the Laboratory for Foundations of Computer Science in the University of Edinburgh and, subsequently, a Lecturer in Computer Science in the University of Sussex.

Personal web page:
http://www.cl.cam.ac.uk/users/mpf23

Research group:
http://www.cl.cam.ac.uk/research/pls

Richard Gibbens

Richard Gibbens is a University Senior Lecturer in the Computer Laboratory where his research interests are in the mathematical modelling of networks.

He joined the Computer Laboratory in 2001 having previously spent 20 years in the Statistical Laboratory, University of Cambridge initially studying for a degree in mathematics, a Diploma in Mathematical Statistics and a PhD degree. He then continued researching into the design and analysis of communication networks together with lecturing across a range of courses in applicable mathematics. In 1993 he was appointed to a Royal Society University Research Fellowship.

He has worked on a number of research topics in the field of communication networks. His doctoral thesis developed, in conjunction with colleagues at Cambridge and British Telecom, the Dynamic Alternative Routing strategy now in use within BT's national networks. He has also worked on traffic characterisation and helped develop the notion of effective bandwidths for statistical multiplexing of traffic in packet networks and on resource pricing and packet marking for the distributed control of IP networks. Recent work has involved modelling of transport networks especially journey time prediction of vehicles using real-time data. He collaborates in a range of research projects often with the communications and transport industries and is a member of the Systems Research Group.

Dr Gibbens is a Fellow of Gonville and Caius College. He lectures courses on Probability, Mathematical Methods for Computer Science and Computer Systems Modelling as well as supervising a broad range of courses in mathematics and computer science.

Personal web page:
http://www.cl.cam.ac.uk/users/rg31/

Research group:
http://www.cl.cam.ac.uk/research/srg/

Mike Gordon

Mike Gordon is Professor of Computer Assisted Reasoning. He studied mathematics as an undergraduate at Cambridge and also obtained a postgraduate Diploma in Linguistics. His PhD was from the Department of Machine Intelligence in the University of Edinburgh. Following research positions at Edinburgh and Stanford, he joined the Computer Laboratory in 1980 as a Lecturer and founded the Hardware Verification Group (HVG), which is now part of the Programming, Logic, and Semantics Group.

Members of HVG have done research in functional programming, hardware and software verification, mechanically checked program refinement, formal semantics of hardware description languages (HDLs), specification and verification of real-time systems, proof support for process algebra, verification of real arithmetic algorithms (floating point), applications of theorem proving to C and Java, and methodology and tools for computer assisted reasoning.

The integration of deductive theorem proving with algorithmic verification is being investigated. Experiments are in progress to link the first-order methods of ACL2 (from the University of Texas) to the higher-order methods of HOL4 (from the University of Cambridge). High fidelity formal models of ARM processors are being developed and then used as the reference semantics for the formal verification of ARM based systems (both hardware and software). New approaches to mechanising programming logics are being explored and applied to previously intractable problems.

Mike Gordon lectures on formal methods for both hardware and software.

Personal web page:
http://www.cl.cam.ac.uk/users/mjcg

Research group:
http://www.cl.cam.ac.uk/research/pls

David Greaves

David Greaves is a University Senior Lecturer; he has recently lectured the courses Comparative Architectures, and Structured Hardware Design. He is a member of the Systems Research Group and undertakes research in the area of hardware design and system specification with emphasis on networking.

He has recently been working on tools and methodologies for system level design, including hardware, embedded software and reliable sensor/actuator networks.

In the Autohan project, Dr Greaves' group is investigating languages and toolchains to control, maintain and automatically formally check networks of components in various application scenarios, including business and web services, automotive, plant control, sensor/actuator and pervasive computing.

Dr Greaves is a practical engineer who has designed many systems and ASICs which are in wide use throughout the world. He is an MIEE.

He is a Fellow of Corpus Christi College and Director of Studies in Computer Science.

Personal web page:
http://www.cl.cam.ac.uk/users/djg

Research groups:
http://www.cl.cam.ac.uk/research/srg
http://www.cl.cam.ac.uk/research/comparch

Timothy Griffin

Timothy Griffin has been a University Lecturer in the Computer Laboratory since January 2005. Previously he had been a researcher with Intel Research, AT&T Research, and Bell Laboratories. He received a BS in Mathematics from the University of Wisconsin, and a PhD in Computer Science from Cornell University.

Dr Griffin'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.

Personal web page:
http://www.cl.cam.ac.uk/users/tgg22

Research groups:
http://www.cl.cam.ac.uk/research/pls
http://www.cl.cam.ac.uk/research/srg

Steven Hand

Steven Hand is Reader in Computer Systems, a member of the Systems Research Group in the Computer Laboratory, and a Fellow of Wolfson College. His interests lie in the areas of operating systems, networking, distributed storage, concurrency, security, and computer architecture. He gives lectures on Operating Systems to first-year students, Advanced Systems Topics to Part II students, and convenes the Advanced Topics in Computer Systems module as part of the MPhil in Advanced Computer Science.

He was one of the originators of the Xen hypervisor, which allows a single machine to host multiple operating systems concurrently, providing secure isolation between operating systems while retaining unprecedented efficiency. The first release of Xen was in 2003, and today it is in use on hundreds of thousands of machines across the world. Some ongoing research in this space is looking at building fault-tolerant virtual machines by using lock-step techniques, and considering means by which these techniques can be efficiently extended to support multi-core operating systems.

Other ongoing work is also in the multi-core area, but with a focus on speculation as a technique to improve performance. This includes speculation of memory accesses to elide locks and speculation past I/O accesses to improve user-perceived response times. Some of the techniques developed here may also be of use in supporting automatic partitioning of complex software systems to provide privilege separation.

Finally, he is interested in global distributed computing, particularly aspects of scheduling and placement for cloud scenarios, and edge-based solutions for social and economic interactions.

Personal web page:
http://www.cl.cam.ac.uk/users/smh22

Research group:
http://www.cl.cam.ac.uk/research/srg

Robert Harle

Dr Robert Harle studied for Natural Sciences (Physical) at Cambridge, obtaining an BA and MSci, before going on to complete a PhD in the Engineering department under the supervision of Professor Andy Hopper. He spent a few years as a Research Associate in the Digital Technology Group at the Computer Laboratory, before becoming an Assistant Director of Research in 2007. His interests lie in positioning systems and methodologies, distributed systems, ubiquitous and pervasive computing, and wireless sensor networks. He is presently a Director of Studies in Computer Science for both Homerton College and Downing College.

Personal web page:
http://www.cl.cam.ac.uk/users/rkh23

Research group:
http://www.cl.cam.ac.uk/research/dtg

Sean Holden

Dr Sean Holden obtained his BSc from the University of East Anglia and his PhD from Cambridge University in 1994. He was a postdoctoral researcher at King's College London and Cambridge University, and then a Lecturer in Computer Science at University College London, where he set up and Directed the MSc programme in Intelligent Systems before returning to Cambridge as a University Lecturer in October 2002. He was appointed to a University Senior Lectureship from October 2004.

His main interests include Machine Learning, Neural Networks, Kernel Methods, and in particular the theoretical foundations for these and other areas through the development of Computational Learning Theory, Bayesian Inference and other mathematical techniques. His current research in this area focuses on the reconciliation of new techniques in machine learning with the unifying foundational concept of Bayesian learning.

He teaches the second- and third-year Artificial Intelligence courses in the Cambridge Computer Science Tripos. He is a Fellow of Trinity College, where he is one of the Directors of Studies in Computer Science.

Personal web page:
http://www.cl.cam.ac.uk/users/sbh11

Research group:
http://www.cl.cam.ac.uk/research/ai

Andy Hopper

Andy Hopper is Professor of Computer Technology at the University of Cambridge and Head of the Computer Laboratory. His research interests include networking, pervasive and sentient computing, and using computers for assuring the sustainability of the planet. He is a Fellow of Corpus Christi College.

Andy Hopper has pursued academic and industrial careers in parallel. In the academic career he has worked in the Computer Laboratory and the Department of Engineering at Cambridge. In the industrial career he has worked in senior roles for multinational companies and also co-founded a dozen spin-outs and start-ups, two of which floated on stock markets. He is currently chairman of RealVNC, Ubisense and Adventiq, and a director of Solarflare.

Professor Hopper received the BSc degree from the University of Wales Swansea (1974) and the PhD degree from the University of Cambridge (1978). He is a Fellow of the Royal Academy of Engineering (1996) and of the Royal Society (2006). He was made a CBE for services to the computer industry (2007).

Personal web page:
http://www.cl.cam.ac.uk/users/ah12

Research group:
http://www.cl.cam.ac.uk/research/dtg

Mateja Jamnik

Mateja Jamnik has been a University Lecturer at the Computer Laboratory since January 2003. She also holds the EPSRC Advanced Research Fellowship ``Automating Informal Human Mathematical Reasoning''. She is a member of the Automated Reasoning Group and the Artificial Intelligence Group.

Mateja Jamnik obtained her doctorate at the Department of Artificial Intelligence in the University of Edinburgh. Her doctoral thesis, ``Automating Diagrammatic Proofs of Arithmetic Arguments'' broke new ground in automated reasoning, and as a result, she was invited by CSLI Press, Stanford, to write a book about her work - Mathematical Reasoning with Diagrams: From Intuition to Automation (2001).

Dr Jamnik is interested in exploring informal human cognitive processes in mathematics, that is, how people solve problems in mathematics. She computationally models this type of reasoning on computers, thus tries to enable machines to reason in a similar way to humans. In particular, her research aims to investigate and mechanise some of ``informal'' human mathematical reasoning, such as the use of diagrams in proofs of mathematical theorems or utilising learning from examples to come up with general solutions to mathematical problems. Very few automated reasoning systems attempt to benefit from the power of such human techniques. In her work, she aims to do just that: integrate informal human reasoning techniques with the proven successful formal techniques, such as different types of logic. This will not only make the reasoning systems more powerful, but such systems can then serve as tools with which we can study and explore the nature of human reasoning.

Personal web page:
http://www.cl.cam.ac.uk/users/mj201

Research groups:
http://www.cl.cam.ac.uk/research/ai
http://www.cl.cam.ac.uk/research/pls

Markus Kuhn

Markus Kuhn became a University Lecturer in the Computer Laboratory in March 2001. He received his Diplom at the University of Erlangen-Nürnberg (Germany) in 1996, his MSc at Purdue University, West Lafayette, Indiana, in 1997, and his PhD at the University of Cambridge in 2002, all in computer science. His main research interests include distributed systems and computer security. Some of his recent research focused on hardware and signal-processing aspects of security (security microcontrollers, smartcards, compromising emanations), intellectual-property protection mechanisms, positioning-system security, and administration concepts for distributed data collections. He is a Fellow of Wolfson College.

Personal web page:
http://www.cl.cam.ac.uk/users/mgk25

Research group:
http://www.cl.cam.ac.uk/research/security

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 that have built real systems, the most recent of which are the Nemesis operating system and the Tempest networking environment.

His current interests are specifically about resource guarantees and the response of systems to unforeseen workload. As we depend more and more on the large-scale distributed systems we build, how can we be sure that they will perform as expected? How do we make it possible for the time scale on which new network technology is introduced to be on the same time scale on which applications change?

Much of this work is collaborative in nature and he works closely with Steven Hand.

He is a Fellow of Christ's College and served as Director of Studies in Computer Science there from 1985 to 1999. He gave lectures on Digital Communication until recently.

Personal web page:
http://www.cl.cam.ac.uk/users/iml

Pietro Liò

Pietro Liò is a University Senior Lecturer in Bioinformatics at the Computer Laboratory. He has a Biology and Computer Science background and has worked during his PhD both in the Genetics and in the Applied Mathematics departments of the University of Firenze. His main interests are in developing computational methods for analysing molecular biology data and in modelling cellular processes. He is currently interested in developing algorithms that make the best use of sequence, microarray, proteomic and physiological information to understand genome evolution through comparative analysis across different species and the relationships between different parts of the human genome sequence. He is also interested in integrating molecular biology data with physiology information, for example how gene and biochemical networks alteration can lead to cancer and other pathologies and how biological complexity builds up from gene networks to cell, tissue, organs, systems and organisms. A project is ongoing to devise computational models of liver morphology in regeneration and cancer using molecular and physiological data. He has collaboration with the European Bioinformatic Institute and the Sanger Centre.

Dr Liò is a Fellow and Director of Studies in Computer Science at Fitzwilliam College.

Personal web page:
http://www.cl.cam.ac.uk/users/pl219

Research group:
http://www.cl.cam.ac.uk/research/ai

Cecilia Mascolo

Cecilia Mascolo is Reader in Mobile Systems in the Computer Laboratory and an EPSRC Advanced Research Fellow. She is a member of the Systems Research Group. Prior to this, she was with the Department of Computer Science of University College London. She holds an MSc (1995) and a PhD (2001) in Computer Science from University of Bologna (Italy). She has been a visiting fellow in Washington University in St Louis in 1998.

Her research interests include mobile systems and opportunistic mobile network routing, realistic mobility models, mobile sensor networks, middleware for pervasive and context-aware systems. Dr Mascolo is currently working on projects with applications in wildlife monitoring, human network information dissemination and vehicular information dissemination.

Personal web page:
http://www.cl.cam.ac.uk/users/cm542

Research group:
http://www.cl.cam.ac.uk/research/srg

Andrew Moore

Andrew Moore is a University Lecturer in the Computer Laboratory. Prior to joining the Computer Laboratory, Dr Moore had been a Fellow at Queen Mary, University of London, an Intel Research Fellow and a foundation researcher at the Cambridge Marconi Research Laboratory. He took a PhD with the Computer Laboratory in 2001 and prior to 1995 worked for some number of years in Australia. Dr Moore took his first and Master's degrees from Monash University in Melbourne.

His research interests include the characterisation and accurate reproduction of Internet traffic - a specific topic being the application of Machine-Learning methods to the characterisation of network applications. Recent work has focused upon the effective use of such methods given a constrained feature-set.

His interests also encompass photonic communications and switching systems. Specific recent work is examining the use of photonic switch devices as a low-power alternative to the PCI-interconnect architecture.

Dr Moore lectures on Digital Communication I and C & C++.

Personal web page:
http://www.cl.cam.ac.uk/users/awm22

Research group:
http://www.cl.cam.ac.uk/research/srg

Simon Moore

Simon Moore is Reader in Computer Architecture. He has a long-standing interest in computer design, from transistor level design to processor architecture and parallel programming languages. Embedded systems hold a particular fascination, from complex multiprocessor control systems to low power, low cost and secure systems for consumer products. Work on high end systems resulted in a book on Multithreaded Processor Design which included a novel hardware scheduler to improve real-time performance.

The Computer Architecture Group, which Simon leads, is undertaking research into future parallel computer systems. One project (Communication Centric Computer Design) is addressing power and performance issues associated with communication in chip-multiprocessors and multiple chip systems. Another project (with Universities of Manchester, Sheffield and Southampton) is looking at Biologically Inspired Million Processor Architectures (BIMPA).

Dr Moore's research interests are reflected in his teaching of Electronic Computer Aided Design and Computer Design courses with associated laboratory sessions. He is also a Director of Studies in Computer Science and a Staff Fellow at Trinity Hall.

Personal web page:
http://www.cl.cam.ac.uk/users/swm11

Research group:
http://www.cl.cam.ac.uk/research/comparch

Robert Mullins

Robert Mullins is a University Lecturer in the Computer Laboratory. He received his BEng, MSc and PhD degrees from the University of Edinburgh before joining the Computer Laboratory in 2000.

His research interests include computer architecture and VLSI design. He is particularly interested in how real performance gains can be maintained as fabrication technologies approach the atomic scale and processor architectures are forced to become increasingly parallel. Recent work has focused on the design of efficient on-chip interconnection networks and novel approaches to system-timing.

His PhD and early work in the Computer Laboratory involved the design and implementation of asynchronous microprocessors. This work also examined the benefits of asynchronous logic from a security perspective.

Dr Mullins lectures on Comparative Architectures and Chip-Multiprocessors and has lectured the Computer Design course.

He is a Fellow at St John's College and Director of Studies for Computer Science.

Personal web page:
http://www.cl.cam.ac.uk/users/rdm34

Research group:
http://www.cl.cam.ac.uk/research/comparch

Alan Mycroft

Alan Mycroft is Professor of Computing in the Computer Laboratory where he has worked since 1984. He was awarded the higher degree of ScD for his work in 1995. He is a Fellow at Robinson College (and was Director of Studies there 1987-2005).

At the Computer Laboratory he is part of the Cambridge Programming Research Group. His research interests span an arc from semantic models of programming languages to actually building optimising compilers. A core interest is that of static analysis of programs to extract properties of their run-time behaviour. Such properties can be used to enable optimisations or to facilitate ``compile-time debugging''. His PhD created the subject of ``strictness analysis'' when he argued that apparent run-time inefficiencies in modern high-level languages can often be removed by program analysis and optimisation phases. Other work has encompassed type-based decompilation and also language and compilation issues for ``Silicon Compilers'', i.e. compiling specifications directly to hardware. Recently he has been collaborating with Intel Research on languages and techniques for compiling to ``multi-core'' processors; this research illuminates the benefits of type-like systems of program analysis at enabling programmers to express and manage their implicit treaty with a compiler (``optimise as much as you can, but don't step over the line''). He welcomes applications from potential PhD students in the above (or cognate) areas.

Professor Mycroft has lectured various courses from Discrete Mathematics to Comparative (Processor) Architectures but currently lectures the Floating-Point Computation, Foundations of Functional Programming and Optimising Compilers courses.

Wearing a more commercial hat, Professor Mycroft is part of a consortium that produced compilers for various OEM suppliers of innovative processors such as ARM, ST-Microelectronics' range (including Inmos's ``Transputers'') and other niche processors.

He is a founder and board member of EAPLS (European Association for Programming Languages and Systems): see the web page below to become a member.

Personal web page:
http://www.cl.cam.ac.uk/users/am

Research groups:
http://www.cl.cam.ac.uk/research/pls
http://www.cl.cam.ac.uk/research/comparch

EAPLS web page:
http://www.eapls.org

Lawrence Paulson

Larry Paulson is Professor of Computational Logic. His research interests include mechanical theorem proving, verification and computer security.

He spends much of his time developing the interactive theorem-prover Isabelle, which aims to support substantial proofs while being independent of particular logical formalisms. His current research focuses on improving automation by exploiting other tools, such as resolution theorem provers, and by developing better heuristics for specific domains such as the real numbers. He works in collaboration with Professor Tobias Nipkow and his colleagues at the Technical University of Munich and with other colleagues elsewhere. His research is funded chiefly by the EPSRC.

Professor Paulson uses Isabelle to perform formal proofs in various domains. He has worked on verifying security protocols, such as those used to protect transactions on the Internet. He has developed an operational trace model and mechanised it using Isabelle. He and colleagues (Bella, Massacci) have investigated several protocols, including major ones like TLS and SET. The proofs have highlighted subtle features and identified a number of flaws.

Professor Paulson has mechanised substantial proofs in set theory, such as Gödel's proof of the relative consistency of the axiom of choice. He has also mechanised the UNITY formalism, which is used for reasoning about concurrent systems. In the early 1980s, he worked on the proof tool LCF, alongside Gordon, Huet and Milner. He introduced several conceptual improvements, laying the foundation for Gordon's HOL system. HOL became one of the world's most popular interactive theorem provers. In his PhD research, he built a semantics-directed compiler generator: a tool for use in the design of programming languages. It combined techniques such as attribute grammars, denotational semantics and SECD machines.

Professor Paulson is a Fellow of Clare College, where he serves as Director of Studies in Computer Science. In the Computer Laboratory he gives lectures on Foundations of Computer Science and Logic and Proof. He is a Fellow of the ACM and belongs to the London Mathematical Society.

Personal web page:
http://www.cl.cam.ac.uk/users/lp15

Research group:
http://www.cl.cam.ac.uk/research/pls

Andrew Pitts

Andrew Pitts has been Professor of Theoretical Computer Science since 2001, having previously been a Lecturer and a Reader in the Computer Laboratory since 1989. He is one of two Deputy Heads of Department in the Computer Laboratory, and a Fellow of Darwin College.

He is interested in all aspects of programming language semantics, be they operational or denotational (or somewhere between the two). His research makes use of techniques from mathematical logic, type theory and category theory to advance the foundations of programming language semantics. The aim is to develop mathematical models and methods that aid language design and the development of formal logics for specifying and reasoning about programs, with an emphasis on higher order, typed programming languages, such as ML and Haskell. He has a long-standing interest in the semantics and logic of names, locality and binding. He is currently researching nominal sets, which provide a syntax-independent model of freshness and alpha-equivalence of bound names with very good support for recursion and induction. He is interested in the applications of this model to metaprogramming languages and metalogics that underlie systems for machine-assisted reasoning about programming language semantics. He has received research funding from the Royal Society, the ESPRIT, SCIENCE, HCM, and TMR programmes of the European Union, SERC, EPSRC and Microsoft Research.

Personal web page:
http://www.cl.cam.ac.uk/users/amp12

Research group:
http://www.cl.cam.ac.uk/research/pls

Andrew Rice

Andrew Rice is an Assistant Director of Research in the Digital Technology Group at the Computer Laboratory. Previously he worked as a Research Associate in the DTG after studying for his BA and PhD also at the Computer Laboratory. His PhD, completed in 2006, studied the dependability of location systems using marker-based machine vision.

His current research considers ``Computing for the future of the planet''. His interests in this area include: improving the energy efficiency of computing and supporting infrastructure, dependable modelling and numerical programs, large-scale sensing of environmental data and mobile computing.

Dr Rice teaches the first-year undergraduate course, Programming in Java, and has been jointly responsible for the reorganisation of the Programming stream of the first year course.

Personal web page:
http://www.cl.cam.ac.uk/users/acr31

Research group:
http://www.cl.cam.ac.uk/research/dtg

Peter Robinson

Peter Robinson is Professor of Computer Technology and one of the two Deputy Heads of the Computer Laboratory, working in the Rainbow Group on computer graphics and interaction. He is also a Fellow and Director of Studies in Computer Science at Gonville and Caius College.

Professor Robinson's research concerns problems at the boundary between people and computers. This involves investigating new technologies to enhance communication between computers and their users, and new applications to exploit these technologies. The main focus for this is human-computer interaction, where he has been leading work for some years on the use of video and paper as part of the user interface. The idea is to develop augmented environments in which everyday objects acquire computational properties through user interfaces based on video projection and digital cameras. Recent work has included desk-size projected displays and inference of users' mental states from facial expressions, speech, posture and gestures.

He has also pursued a parallel line of research into interaction for users with special needs. Collaboration with the Engineering Design Centre has investigated questions of physical handicap, and research students have considered visual handicaps. This has broader applications for interaction with ubiquitous computers, where the input and output devices themselves impose limitations.

He is a Chartered Engineer and a Fellow of the British Computer Society.

Personal web page:
http://www.cl.cam.ac.uk/users/pr

Research group:
http://www.cl.cam.ac.uk/research/rainbow

Peter Sewell

Peter Sewell is a Reader in Computer Science and holds an EPSRC Leadership Fellowship. He is a Fellow of Wolfson College.

His research is at the interface between theoretical semantic models and practical systems, aiming to establish mathematically rigorous and pragmatically useful foundations for real systems. Current interests include: semantics for multiprocessors and concurrent programming languages; the rigorous modelling of real-world network protocols; the design of high-level distributed programming languages; the specification and enforcement of security properties; and tool support for semantics.

Personal web page:
http://www.cl.cam.ac.uk/users/pes20

Research group:
http://www.cl.cam.ac.uk/research/pls

Frank Stajano

Frank Stajano is a University Senior Lecturer. He was appointed to Cambridge in 2000, then at the Department of Engineering, and in 2004 he moved back to the Computer Laboratory, where he originally earned his PhD in computer security.

His research interests revolve primarily around three interconnected themes: systems security, privacy in the electronic society and ubiquitous computing. His works on ubicomp authentication (Resurrecting Duckling, with Ross Anderson) and on location privacy (Mix Zones, with Alastair Beresford) are widely cited. He wrote the book Security for Ubiquitous Computing (Wiley, 2002).

Before his academic appointments Dr Stajano worked in industrial research. This gave him first-hand experience of Cambridge start-up companies and of related issues of technology transfer, entrepreneurship and patents. His academic research therefore maintains a strong practical orientation. He was elected a Toshiba Fellow in 2000.

Dr Stajano enjoys teaching and, beyond his main research areas of security and ubiquitous computing, he has had the privilege of lecturing Cambridge undergraduates on many fundamental computer science topics, from computer architecture and operating systems to data structures and algorithms. He is also a sought-after public speaker and has given about 40 invited and keynote talks at international events.

Very few things one can do with a computer are as fun as programming: Dr Stajano's favourite programming language is Python, which comes with batteries included.

Outside computers, Dr Stajano writes books about comics and is a keen practitioner of kendo (Japanese swordsmanship). He earned his 3rd dan grade in Japan, he is a BKA-licensed regional coach (meaning he trains and licenses other kendo instructors) and has been leading the Kendo Society of the University since 2002.

Personal web page:
http://www.cl.cam.ac.uk/users/fms27

Research groups:
http://www.cl.cam.ac.uk/research/security/
http://www.cl.cam.ac.uk/research/dtg/

Simone Teufel

Simone Teufel is a University Senior Lecturer. Her main interest is in Natural Language Processing (NLP) and in Information Retrieval (IR). After her PhD (Edinburgh), she was a Postdoctoral Researcher in the Computer Science Department of Columbia University from 2000 to 2001. At Cambridge, she teaches on the MPhil in Computer Speech, Text and Internet Technology, a joint course with the Engineering Department.

Within NLP, Dr Teufel's research is mainly in applications of discourse and other linguistic information for information retrieval and summarisation. She is interested in the interaction of tasks such as generation, topic segmentation and clustering with classic IR and summarisation. Her current work concentrates on generation techniques for robust summarisation, and on task-based experiments of human text processing. She has also worked on multilingual summarisation and medical information extraction.

Dr Teufel is a Fellow of King's College.

Personal web page:
http://www.cl.cam.ac.uk/users/sht25

Research group:
http://www.cl.cam.ac.uk/research/nl

Ian Wassell

Ian Wassell joined the Computer Laboratory as a Senior Lecturer in January 2006. Prior to this appointment, he was with the University of Cambridge Department of Engineering for approximately six and a half years.

Dr Wassell obtained his PhD at the University of Southampton in 1990 where he investigated Viterbi Equalisation for wireless and mobile systems. He has in excess of 15 years' experience in the simulation and design of radio communication systems gained via a number of positions in industry and higher education. His research interests include Fixed Wireless Access (FWA) systems, radio propagation, wireless sensor networks and communication signal processing.

In the Computer Laboratory Dr Wassell lectures on Digital Electronics to first-year undergraduates; he is a Fellow of Churchill College, where he has supervised second year communication topics to engineering students for a number of years.

He is a Member of the Institution of Engineering and Technology (IET).

Research group:
http://www.cl.cam.ac.uk/research/dtg

Glynn Winskel

Glynn Winskel has been a Professor in the Computer Laboratory since October 2000. He is a Professorial Fellow at Emmanuel College.

Professor Winskel's research has been mainly in the foundations of computer science, especially in mathematical semantics and logics of computation. His research is often guided by a fundamental belief in the usefulness of mathematical models and logic to help understand, structure and analyse computation, from the sequential execution of a single program to the interaction within distributed systems. He is particularly interested in models and proof techniques for interactive computation, from, for example, specific issues in the semantics and logics of security protocols to the general programme of extending domain theory and denotational semantics to give an adequate treatment of distributed computation.

Glynn Winskel read mathematics at Cambridge and mathematical logic at Oxford before turning to computer science in his PhD work at the University of Edinburgh. During the last year of his PhD he was employed as a research associate on a grant of Robin Milner and Gordon Plotkin. For a period he was a Royal Society Postdoctoral Fellow, and then a Research Scientist at the Computer Science Department of Carnegie Mellon University. From 1984 he was Lecturer then Reader in the Computer Laboratory, leaving in 1988 to become Professor at Aarhus University in Denmark. There he was founding director of BRICS, a research centre for Basic Research in Computer Science.

He currently lectures on Denotational Semantics, Topics in Concurrency and Discrete Mathematics.

Personal web page:
http://www.cl.cam.ac.uk/users/gw104

Research group:
http://www.cl.cam.ac.uk/research/pls

BRICS:
http://www.brics.dk

A full list of staff and visitors (with their e-mail addresses) may be found at
http://www.cl.cam.ac.uk/people/

Next: Computer Science courses Up: The Computer Laboratory: an Previous: Research Groups Contents

© 2009 Computer Laboratory, University of Cambridge
Please send any comments on this page to pagemaster@cl.cam.ac.uk
Last modified 2009-11-03 12:08 by Christine Northeast