Department of Computer Science and Technology - Awards and honours
- King’s Birthday Honours for two Department members
Two members of our Department are among those featured in the King's Birthday Honours 2025, which recognises the achievements and contributions of people across the UK.
Emily Shuckburgh, Professor of Environmental Data Science here – and Director of Cambridge Zero, Cambridge University's major climate change initiative – has received a CBE for services to Climate Science and to the Public Communication of Climate Science.
"I am deeply honoured to accept this recognition, which is a reflection of the collective efforts of many scientists, communicators, educators, and advocates who strive every day to make climate science accurate, accessible and actionable at a time when honesty, clarity and urgency are more important than ever," she says.
Emily's primary research is focused on the application of artificial intelligence to climate science.
She is Academic Director of the Institute of Computing for Climate Science, and co-Director of the UKRI Centre for Doctoral Training on the Application of AI to the study of Environmental Risks (AI4ER).
We're also very pleased that Honorary Distinguished Fellow in this Department, Prof Ursula Martin, has been appointed Dame Commander of the Order of the British Empire (DBE) for services to Science and Education.
Emeritus Professor in Oxford Mathematics, Ursula's research, initially in algebra, logic and the use of computers to create mathematical proofs, broadened to encompass wider social and cultural approaches to understanding the circulation and impact of computer science and mathematics. She is particularly known for leading the first scholarly investigation of the mathematics of Ada Lovelace, and is currently supported by the Leverhulme Trust to investigate the impact of artificial intelligence on mathematics.
Ursula has been a steadfast advocate and mentor for women in computer science and mathematics. As a visitor here in the early 2000's, she led (with Prof Mateja Jamnik) the setting up of Women@CL, our network to support women and non-binary people in computing research in their careers and encourage them to aspire to leadership positions.More than 20 years later, it is going from strength to strength.
Ursula says: "I am delighted and humbled to receive this honour. I truly appreciate my good fortune in working with colleagues from so many disciplines within and beyond the UK, in organisations ranging from high-tech companies to libraries and museums."
Our congratulations to them both.
- Colleagues' achievements recognised with Senior Academic Promotions
Congratulations to the three members of this Department who have been promoted as Professor.
Every year, the University runs a rigorous and competitive Senior Academic Promotion process. We are delighted that at the end of the 2024-25 process, three of our colleagues have been promoted. They are Emily Shuckburgh, Andreas Vlachos and Ian Wassell.
There is a professorial promotion for Prof Emily Shuckburgh.
Emily is Professor of Environmental Data Science here and Director of Cambridge Zero, Cambridge University's major climate change initiative. Her primary research is focused on the application of AI to climate science.
She is Academic Director of the Institute of Computing for Climate Science which supports the work of climate scientists through computer science, software engineering, and data science research.
Emily is co-Director of the UKRI Centre for Doctoral Training on the Application of AI to the study of Environmental Risks (AI4ER).
She is also a member of this Department's Energy and Environment Group which applies computer science to address renewable energy integration, energy demand reduction, and the assessment and management of environmental impact (e.g. climate change, biodiversity loss, deforestation) from anthropogenic activities.
There is also professorial promotion for Prof Andreas Vlachos.
Andreas is Professor of Natural Language Processing and Machine Learning here, and is a Dinesh Dhamija fellow of Fitzwilliam College.
His current research projects include dialogue modelling, automated fact-checking and imitation learning. He has also worked on semantic parsing, natural language generation and summarization, language modelling, information extraction, active learning, clustering and biomedical text mining.
Andreas was previously a lecturer at the University of Sheffield, working on the intersection of Natural Language Processing and Machine Learning. He completed his PhD here at Cambridge supervised by Ted Briscoe and Zoubin Ghahramani before going on to postdoctoral research in the Machine Reading group at UCL, the NLIP group here at Cambridge, and at the University of Wisconsin-Madison working with Mark Craven.
Work by Andreas and colleagues was this year awarded 'Publication of the Year' in our Hall of Fame Awards. Their paper Causal Estimation of Memorisation Profiles by Pietro Lesci, Clara Meister, Thomas Hofmann, Andreas Vlachos & Tiago Pimentel also won a best long paper award at the 62nd Annual Meeting of the Association for Computational Linguistics (ACL) – the premier venue in the field.
Dr Ian Wassell has been promoted from Associate Professor to Professor.
A long-standing member of the University of Cambridge, Ian joined the Department of Engineering in 1999 and then came to this Department as a Senior Lecturer in 2006. He lectures on Digital Electronics and teaches Hardware Practical Classes that enable first-year undergraduates to get hands-on experience of designing, building, testing and debugging digital electronic circuits
Ian completed his PhD degree at the University of Southampton in 1990, where he investigated Viterbi Equalisation for wireless and mobile systems. He has over 25 years' experience in the simulation and design of radio communication systems gained via a number of positions in industry and higher education. He has published more than 200 publications and successfully supervised PhD and MPhil students. He now leads the research on wireless communications in the Digital Technology Group here.
Ian is also a fellow of Churchill College and has supervised second year linear systems and communication topics to Churchill engineering students for a number of years. He is a Member of the Institution of Engineering and Technology (IET).
- Royal Society Fellowship honours Theoretical Computer Scientist
Our colleague Professor Andrew Pitts has been elected as a Fellow of the Royal Society, it was announced today (Tuesday 20 May 2025).
More than 90 outstanding researchers worldwide have been recognised this year for their substantial contribution to the advancement of science.
The Royal Society is the UK’s national academy of sciences and the oldest science academy in continuous existence. Its aim is to recognise, promote and support excellence in science, and to encourage the development and use of science for the benefit of humanity.
Sir Adrian Smith, President of the Royal Society said: "I welcome the latest cohort of outstanding researchers into the Fellowship of the Royal Society with great pleasure.
"Their achievements represent the very best of scientific endeavour, from basic discovery to research with real-world impact across health, technology and policy. From tackling global health challenges to reimagining what AI can do for humanity, their work is a testament to the power of curiosity-driven research and innovation."
Andrew Pitts is Emeritus Professor of Theoretical Computer Science here. His research makes use of techniques from category theory, mathematical logic and type theory to advance the foundations of programming language semantics and theorem proving systems.
He has a long-standing interest in the semantics and logic of names, locality and binding. His aim is to develop mathematical models and methods that aid language design and the development of formal logics for specifying and reasoning about programs. He is particularly interested in higher-order typed programming languages and in dependently typed logics.
"The new Fellows' achievements represent the very best of scientific endeavour, from basic discovery to research with real-world impact."
Sir Adrian Smith, Royal Society
Foundations of Computer Science
The Royal Society Directory of Fellows cites Andrew's work on "the foundations of computer science through the application of logic and the mathematical theory of categories. His insight that properties of resources under permutations of their names can serve as the basis for a theory of structures involving locally scoped names has proved very fruitful, giving rise to a large body of work by many people, under the name 'nominal techniques'."Of his election as a Royal Society Fellow, Andrew says: "Forty years ago this autumn, I took up a Royal Society University Research Fellowship. Although it was not in my original proposal, the flexibility of the Fellowship enabled me to transition from research in Mathematics to research in Computer Science and I have remained very grateful to the Royal Society for that opportunity ever since. I am therefore extremely pleased now to be joining the Society as a Fellow."
- You can read details of all this year's new Fellows on the Royal Society website.
- Recognition for "significant achievements in computing"
Congratulations to Prof Cecilia Mascolo who has today been named a 2024 ACM Distinguished Member. This accolade is awarded to computer scientists "for significant achievements in computing beyond the norm".
The ACM – the Association for Computing Machinery – is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society.
Its 'Distinguished Member' designation is highly selective. Recipients are chosen for their exceptional technical accomplishments and dedicated community service within the profession.
In Cecilia's case, she becomes a Distinguished Member for her "contributions to mobile wearable systems efficiency, and signal and data analysis enabling multidisciplinary applications".
She is one of 56 new Distinguished Members named today for their impact in the field. All were selected by their peers for significant technical achievements as well as volunteer service to their professional community.
"Each year we look forward to selecting a new class of ACM Distinguished Members from among our worldwide association of 110,000 colleagues," explained ACM President Yannis Ioannidis. "ACM’s motto is 'advancing computing as a science and profession'. The Distinguished Members Program not only celebrates innovation but also underscores the value of being part of a vibrant technical community."
Cecilia is Professor of Mobile Systems here. She also co-directs the Centre for Mobile, Wearable Systems and Augmented Intelligence here, which focuses on next-generation mobile and wearable technology, as well as mobile applications.
She is a pioneer in devising frameworks to collect sensing data from devices such as phones and wearables with the purpose of developing models to understand behaviour and health. During the pandemic, she and her colleagues developed the COVID-19 Sounds App which collects and analyses short recordings of users coughing and breathing to detect if they are suffering from COVID-19.
Since then, she has been working on ways to turn the devices we wear – such as earbuds – into mobile monitors that can collect data about our state of health, and developing cutting edge machine learning tools to evaluate that data on the device itself.
She was recently awarded an EPSRC Open Fellowship for her project 'HearFit: Hearable Sensing Systems and Machine Learning for Health and Fitness'. This project explores how to turn 'hearable' devices like earbuds into genuinely trustworthy and reliable instruments for measuring human health and fitness.
Many congratulations to Cecilia on her ACM Distinguished Member award.
- Lovelace Medal for Dr Sue Sentance
Many congratulations to our colleague Dr Sue Sentance, Director of the Raspberry Pi Computing Education Research Centre here. She has just been awarded the BCS Lovelace Medal 2024.
This prestigious award is presented annually by BCS, The Chartered Institute for IT. It is given to recipients for their outstanding contributions to the advancement of computing.
Previous winners include worldwide web inventor Sir Tim Berners-Lee, the information retrieval pioneer Karen Spärck Jones (a former Professor Emerita of Computers and Information here) and recent Nobel Prize winner Sir Demis Hassabis (an alumnus of this Department).
Also receiving the BCS Lovelace Medal this year are Professor Aggelos Kiayias who is Chair in Cyber Security and Privacy, and Director of the Blockchain Technology Laboratory at the University of Edinburgh, and Professor Philippa Gardner FREng, a former EPSRC Advanced Fellow here who is now Professor of Theoretical Computer Science at Imperial College London. They are both winners of the Lovelace Research Medal while Sue Sentance receives the Lovelace Education Medal.
Julia Adamson MBE, BCS Managing Director for Education and Public Benefit , said: "All three recipients of this year’s BCS Lovelace Medal are truly deserving, having significantly advanced the global reputation of computing as a force for good. Their work spans crucial areas such as computing education, cybersecurity, and software languages, each contributing meaningfully to society through information technology.
"We are proud to honour their achievements at a time when computing is more vital than ever to our daily lives. Their profound impact on the IT industry and their diverse accomplishments make them worthy of this prestigious award."
Sue Sentence is an experienced educator, researcher and leader in computing education. She is awarded the BCS Lovelace Medal in recognition for her exceptional contributions and research in computing education. In particular, her PRIMM approach to teaching programming ('Predict, Run, Investigate, Modify and Make'), which has been adopted by teachers globally.
Sue also played a leading role in establishing the National Centre for Computing Education and is an active member of the Computing at School board and the BCS School Curriculum and Assessment Committee.
Congratulations, Sue!
- Nobel Prize for our alumnus Sir Demis Hassabis
"The reason I've worked on AI my whole life is that I'm passionate about science and finding out knowledge, and I've always thought if we could build AI in the right way, it could be the ultimate tool to help scientists, help us explore the universe around us. I hope AlphaFold is a first example of that."
These are the words of our alumnus Sir Demis Hassabis today after he received the news that the Royal Swedish Academy of Sciences was awarding the Nobel Prize in Chemistry 2024 jointly to him and his Google DeepMind colleague Dr John Jumper. The Prize is "for protein structure prediction".
The award recognises the major advances made possible by their AI model AlphaFold2, with whose help they have been able to predict the structure of virtually all the 200 million proteins that researchers have identified.
The duo share the award with biochemist Prof David Baker, Director of the Institute for Protein Design at the University of Washington, who receives it "for computational protein design".
"It is wonderful to see Demis's work recognised at the highest level — his contributions have been really transformative across many domains. I'm looking forward to seeing what he does next!" says our Head of Department, Professor Alastair Beresford.
Cambridge University Vice-Chancellor Prof Deborah Prentice has also offered her congratulations to Demis Hassabis and John Jumper. "Together, their pioneering work in the development and application of machine learning is helping transform our understanding of the world around us," she says.
Demis becomes the first of our alumni to receive a Nobel Prize. He studied Computer Science here as an undergraduate from 1994-7 before completing a PhD in cognitive neuroscience at University College London.
It's wonderful to see Demis's work recognised at the highest level — his contributions have been really transformative across many domains.
Prof Alastair Beresford, Head of Department
He co-founded DeepMind in 2010, a company that developed masterful AI models for popular board games. The company was sold to Google in 2014 and two years later, DeepMind came to global attention when the company achieved what many then believed to be the holy grail of AI: beating the champion player of one of the world’s oldest boardgames, Go.
In 2014, Demis was elected as a Fellow Benefactor and, later, as an Honorary Fellow of Queens' College. In 2024, he was knighted by the King for services to artificial intelligence.
In 2018, the University announced the establishment of a DeepMind Chair of Machine Learning, thanks to a benefaction from Demis's company, and appointed Professor Neil Lawrence to the position the following year.
“I have many happy memories from my time as an undergraduate at Cambridge, so it’s now a real honour for DeepMind to be able to contribute back to the Department of Computer Science and Technology and support others through their studies,” Demis said when the Chair was established.
As it happens, Demis's Google DeepMind colleague John Jumper is also a Cambridge University alumnus. He completed an MPhil in theoretical condensed matter physics at The Cavendish Laboratory here in 2011 before obtaining his PhD in Chemistry from the University of Chicago.
Life could not exist without proteins. That we can now predict protein structures and design our own proteins confers the greatest benefit to humankind.
The Royal Swedish Academy of Sciences
"The Nobel Prize in Chemistry 2024 is about proteins, life's ingenious chemical tools," says the Royal Swedish Academy of Sciences in its press release announcing the 2024 Nobel Prize for Chemistry. "David Baker has succeeded with the almost impossible feat of building entirely new kinds of proteins. Demis Hassabis and John Jumper have developed an AI model to solve a 50-year-old problem: predicting proteins' complex structures. These discoveries hold enormous potential.
"In proteins," the Academy adds, "amino acids are linked together in long strings that fold up to make a three-dimensional structure, which is decisive for the protein's function. Since the 1970s, researchers had tried to predict protein structures from amino acid sequences, but this was notoriously difficult. However, four years ago, there was a stunning breakthrough [with AlphaFold2]. Since then, AlphaFold2 has been used by more than two million people from 190 countries. Among a myriad of scientific applications, researchers can now better understand antibiotic resistance and create images of enzymes that can decompose plastic."
They add: "Life could not exist without proteins. That we can now predict protein structures and design our own proteins confers the greatest benefit to humankind."
- Celebrating at our Hall of Fame Awards
A world-leading British semiconductor company; a project investigating how robots could help boost our mental wellbeing; an email app so fast it promises to give users four hours back a week; and leading research into deterministic parsing. These are the winners of our annual Hall of Fame Awards, which were presented on Thursday 18 April in a ceremony at Queens' College.
Company of the Year: Arm
Company of the Year went to Arm, a global company, with 43 offices in 21 countries and more than 6,000 employees worldwide, including nearly 3,000 in the UK with its global headquarters in Cambridge. Born here in 1990 with the goal of designing a computer intended to run on a battery. Its success since then in designing, architecting, developing and licensing high-performance, low-cost and energy-efficient CPUs
—
the 'brain' of all computers and many household and electronic devices—
helped fuel the smartphone revolution and has made Arm a household name. Its worth was recognised in autumn 2023 when it was floated on the Nasdaq Global Select Market in an offering that valued it at $54 billion.Arm has long had a research relationship with the Department. Most notably, this has led to the development of a potentially game-changing new cybersecurity technology, focusing on new ways to design the architecture of a computer’s central processing unit to make software less vulnerable to security breaches. The technology, CHERI, extends conventional architectures and software stacks with novel hardware support for memory protection and secure encapsulation. Since early 2022, an industrial demonstrator of the technology has been made available to UK companies for testing through the UK government’s £200 million Digital Security by Design programme.
Above: MPAM Lead Architect Matteo Andreozzi and Research Ecosystem Director Andrea Kells received the Company of the Year Award on behalf of Arm from Head of Department Prof Alastair Beresford.
Publication of the Year: flap: A Deterministic Parser with Fused Lexing
After a Department-wide selection process that saw almost 50 papers submitted and considered, Publication of the Year was awarded to Jeremy Yallop, Ningning Xie and Neel Krishnaswami for their paper flap: A Deterministic Parser with Fused Lexing.
Left: Prof Jeremy Yallop receives the Publication of the Year award from Alastair Beresford.
Product of the Year: Superhuman
Product of the Year was awarded to super-fast email app Superhuman, founded by Rahul Vohra in in 2014. Targeted at users who want to improve their productivity, it features liberal use of keyboard shortcuts to speed up email reading and replying. Superhuman has raised over $100 million from venture capitalists. Initially, the app only integrated with Gmail, but in May 2022 it launched integration with Microsoft Outlook. In February this year, Superhuman announced AI-powered drafts for instant replies.
Better Future Award: Robotic Mental Wellbeing Coaches
The Better Future Award
went to researchers Micol Spitale, Minja Axelsson and Hatice Gunes for 'Robotic Mental Wellbeing Coaches for the Workplace: An In-the-Wild Study on Form'.
In Prof Gunes's Affective Intelligence and Robotics (AFAR) Lab here, researchers are exploring how social robots can be used to help support our mental wellbeing. In this study, they wanted to find out if robotic wellbeing coaches could be used in the real world to help employers protect and promote good mental health in the workplace. So in the first study of its type, they took two robots - one resembling a child, the other a more toy-like robot - to local tech firm Cambridge Consultants. There, 26 employees took part in weekly wellbeing sessions led by the robots. Although the robots had identical voices, facial expressions and scripts for the sessions, the researchers found that the physical appearance of the robot affected how participants interacted with it.
This study offered valuable insights for the design and deployment of robot wellbeing coaches. It also showed that robots can be a useful tool to promote mental wellbeing in the workplace and could help employers overcome resource barriers to promoting good mental health practices to their staff.
Prof Hatice Gunes and Dr Micol Spitale received the Better Future Award.
Congratulations to all our winners!
- Students' Group Design Projects enjoy success
Our second-year undergraduates exhibited their Group Design Projects this week. And their success in addressing the challenges they were set impressed the external companies and clients they were working for.
Three teams took home awards this year for their work on developing a clearer way to notate music, improving supply chain resilience, and sourcing second hand electronic components.
The Group Design Projects are an annual challenge for second-year students. Working in teams of six or seven, they have to meet a brief set by an external client. As ever, this year's projects spanned a wide spectrum.
Videos of all the students' projects will be shown at our Department Open Day on Saturday 16 March as part of the Cambridge Festival.
Team Bravo were charged with creating a tool that could offer predictive text suggestions to users of Braille keyboards; team Oscar were tasked with using AI techniques to analyse aerial images of growing crops to see if they are taking up enough soil nitrogen.
Team Whisky were developing the infrastructure for a searchable globe that users could interact with to learn about local people's lives and communities; team Lima were designing an app to help people with memory loss trigger and record stories from their long-term memories.
The project clients and members of the Department came to see an exhibition of all the students' work yesterday, and they - and the students themselves - voted for projects they felt had done best. There were three winners in all.
Most Impressive Technical Achievement - team Mike
The award went to team Mike for their project on 'Optimising Music Notation'. Students Albert, Claire, Dron, Sky, Sam and Jack worked with a member of the University's Department of Music on an alternative style for notating music that has been found to improve performance. Their task was to define a specification language for this modified style and a pipeline for rendering it. The runners-up were teams Delta and November.Most impressive Professional Achievement - team Quebec
The award went to team Quebec (Andrei, Hannah, Jing, LT, Kevin and Sol) for their project on 'Supply Chain Resilience' to enhance the efficiency and resilience of global supply chains, which have been affected by events such as the Covid pandemic and the conflict in Ukraine. The students had to create a map that showed users visually ways of improving routes for delivering products and allowed them to compare and contrast CO2 emissions, cost, reliability and robustness. The runners-up for this award were teams Delta and Tango.The Contribution to a Better Future Award - team Delta
This award went to Team Delta (Christos, Lucy, Matej, Kang, Safal and Liam) for their project 'Component Quest', which addressed chip shortages, rising costs and increasing levels of e-waste in the electronics industry. The students' challenge was to develop a smartphone app that uses AI to identify and value second hand electronic components, provide a current market value and link users to a marketplace where they can buy and sell them. Runners-up were teams Delta and Hotel.Many congratulations to all our students!
- Mobile health-monitoring device wins ERC Proof-of-Concept Grant
Many congratulations to Cecilia Mascolo, Professor of Mobile Systems here, who has won an ERC Proof of Concept grant 2023.
She will be using the funding to further her work on developing mobile devices – like commercially-available earbuds – that can accurately pick up wearers' body sounds and monitor them for health purposes.
The European Research Council Proof of Concept grants – worth €150,000 – help researchers bridge the gap between the discoveries stemming from their frontier research and the practical application of the findings, including early phases of their commercialisation.
Cecilia is one of 66 researchers who have been granted this funding to unlock the commercial and societal potential of their research. This funding is part of the EU's research and innovation programme, Horizon Europe.
Mobile systems and machine learning for health
Cecilia’s research interests are in mobile systems and machine learning for health. Her existing ERC-funded Project EAR was the first to demonstrate that the existing microphones in earbuds can be used to pick up wearers' levels of activity and heart rate and to trace it accurately even when the wearer is exercising vigorously.
Cecilia now wants to build on this work by enhancing the robustness of these in-ear microphones and further improve their performance in monitoring human activity and physiology in 'real life' conditions, including by developing new algorithms to help the devices analyse the data they are collecting.
"There are currently no solutions on the market that use audio devices to detect body function signals like this," she says, "and they could play an extremely valuable role in health monitoring.
"Because the devices' hardware, computing needs and energy consumption are inexpensive, they could put body function monitoring into the hands of the world's population accurately and affordably."
- Researcher receives 'Test of Time' Award for her work on data stream processing
The Association for Computing Machinery (ACM) – the world's largest association of computing professionals – has honoured a researcher here for her work on the efficient use of cloud resources for data stream processing.
Eva Kalyvianaki – an Associate Professor here – was co-author in 2013 of Integrating scale out and fault tolerance in stream processing using operator state management, a pioneering paper in the field.
Ten years on, it has received the Test of Time Award 2023 from SIGMOD, the ACM’s Special Interest Group on the Management of Data.
This award recognizes the conference paper from 10 years previously that has had the most impact over the intervening decade on research, products and methodology.
The paper – co-authored by Eva when she was a postdoctoral researcher at Imperial College London with her then colleagues Raul Castro Fernandez (the first author), Matteo Migliavacca and Peter Pietzuch – addressed challenges in scaling data stream processing systems to large numbers of cloud-hosted machines.
At the time, data processing was moving from being the analysis of online data streams on a single machine to the online processing on virtual machines of a stream of real-time data.
With data increasing in both size and speed, new kinds of data stream processing systems were being designed to scale out to machines hosted in the cloud. But though the cloud offers infinite resources, in theory, there are also challenges, with failures among virtual machines being a common problem.
So the paper's authors set out to address the issue of how to scale out real time data processing to dozens of virtual machines on demand in a way that was both efficient and robust to machine failures.
"This was relatively easy to do for data processing where the operator states are well-known, but much harder where they are arbitrary," Eva says.
"So we defined state as a first class citizen, treating it the same way as any other kind of data structure, as an entity that could be copied and migrated from one machine to another.
"Once we had that, we defined APIs on the state, and then we could use the same APIs to deal with scalability and fault tolerance, meaning you could do well-defined operations over the state and the APIs would copy, checkpoint, split and merge it."
The innovative techniques they developed in managing operator state in stream processing systems enabled seamless scalability and robust fault tolerance and performed better than existing systems at the time. And their work informed the design of subsequent, state-of-the-art industrial data processing systems.
Using research to inform teaching
Ten years on, the paper has another use – as a teaching aid in a course here for third-year undergraduates on the fundamentals of cloud computing. The course includes a lecture on the use of the cloud in analysing online real-time data streams."I want our students to gain the confidence to address problems and arrive at the solution by themselves," Eva says. "Because I was part of this research, I can tell them what we did behind the scenes to get to our solution – including what worked and what didn't work. I hope that helps them work out the steps and processes they need to go through to get to the answer."
Older award news (before 2007)
Awards for Professor Karen Spärck Jones
- 2007 BCS Lovelace Medal
- 2007 ACM Athena Lecturer
- 2006 ACM – AAAI Allen Newell Award
Andy Hopper has been made a CBE
Prof. Andy Hopper as been made a Commander of the British Empire in the 2007 New Year Honours list for services to the computer industry.
Andy Hopper elected FRS
Prof. Andy Hopper was elected a Fellow of the Royal Society in 2006.
2005 IBM ThinkPad Challenge
Each year the winning Part IB Group Project Team is invited to participate in the IBM ThinkPad Challenge at Hursley. In 2005, Cambridge has become the first university, among the 18 that compete, to win the Thinkpad Challenge twice.
Andy Hopper receives IEE Mountbatten Medal
Prof Andy Hopper was the recipient of the IEE Mountbatten Medal 2004, for his work in the computer industry and in helping the development of UK computer companies.
Keir Fraser wins BCS/CPHC Distinguished Dissertation Award
Dr Keir Fraser was awarded one of the two 2004 British Computer Society/Council of Professors and Heads of Computing Distinguished Dissertation Awards for his PhD dissertation "Practical Lock-Freedom", supervised by Dr Ian Pratt. A second Computer Lab dissertation, "Reconfigurable wavelengths-switched optical networks for the internet core" by Dr Tim Granger, was one of the seven shortlisted for the award. Tim was supervised by Prof. Ian Leslie.
Andy Hopper receives ACM SIGMOBILE Outstanding Contribution Award
Prof Andy Hopper was given the SIGMOBILE Outstanding Contribution Award in Philadelphia on 28 September 2004 for pioneering new areas of research in wireless and mobile computing, driven by a unique blend of innovative academic research and recognition of its commercial potential.
Robin Milner receives Royal Society of Edinburgh Royal Gold Medal
Professor Robin Milner was awarded a Royal Gold Medal for outstanding achievement at a ceremony held in The Royal Society of Edinburgh (RSE) on 2 September 2004. The medal was awarded for his "outstanding contributions to software engineering which have changed the face of modern computer science."
Karen Spärck Jones receives ACL Lifetime Achievement Award
Prof Karen Spärck Jones was given the Association for Computational Linguistics' Lifetime Achievement Award at the 42nd annual meeting of the ACL in Barcelona on 23 July 2004. These awards began in 2002; Prof Spärck Jones is only the third recipient.
Andy Hopper receives Royal Academy of Engineering Silver Medal
On 5 July 2003 Prof Andy Hopper was awarded the Royal Academy of Engineering Silver Medal in recognition of an oustanding and demonstrated contribution to British engineering leading to market exploitation.
Martin Richards receives IEEE Computer Society Computer Pioneer Award
Martin Richards has been awarded one of the IEEE Computer Society's 2003 Computer Pioneer Awards for pioneering system software portability through the programming language BCPL, widely influential and used in academia and industry for a variety of prominent system software applications.
BCPL is a simple typeless language that was designed in 1966. It was the precursor to Ken Thomson's B, and the two gave rise to C.
David Wheeler made Fellow of the Computer History Museum
In October 2003, Prof David Wheeler was made a Fellow of the Computer History Museum for his invention of the closed subroutine, his architectural contributions to the ILLIAC, the Cambridge Ring, and computer testing.
2003 SET Awards
James Murphy (Jesus College) received the IEE Award for Best Information Technology Student at the national Science, Engineering and Technology Student of the Year Awards in September 2003. This is the third year, running, that a Cambridge student has received the SET award for best IT or CS student.
James' Part II project, the subject of his nomination, was on modelling smoke for computer graphics. This involved solving the equations governing fluid motion (Euler, Navier-Stokes, mass conservation equations) in a stable way to simulate the motion of the smoke, in order to create physically plausible smoke. The solution method was based on a finite grid (Eulerian) discretization and solving the system of sparse linear equations thus produced required the implementation of several numerical methods. He was supervised by Dr Neil Dodgson who says: "James' project was a challenging piece of work; the award is well deserved."
2003 IBM ThinkPad Challenge
Each year the winning Part IB Group Project Team is invited to participate in the IBM ThinkPad Challenge at Hursley. In 2003, the Cambridge team were the outright winners of the ThinkPad Challenge. The final of the contest was held at Hursley on 26 September 2003 with teams from 18 of the best UK Universities battling against each other to win an IBM ThinkPad for each member of the team.
The Cambridge team were: Arthur Taylor, Christian Steinruecken, Andrew Owen, Muntasir Ali, Rui Wang and Sean Moran.
2002 SET Awards
Tim Hospedales of Jesus College received the MISYS Award for the Best Computer or Computer Software Student at the national Science, Engineering and Technology Student of the Year Awards in September 2002. The SET awards are judged based on students' final year projects. Tim's Part II Project was on eye-movement tracking.
2001 SET Awards
Hanna Wallach (Newnham College) received the MISYS Award for the Best Computer or Computer Software Student for her project "Visual Representation of Computer Aided Design Constraints".
Distinguished Dissertations
2004, Keir Fraser, "Practical Lock-Freedom"
2000, Jacques Fleuriot, "A combination of geometry theorem proving and
nonstandard analysis with application to Newton's Principia"
1997, John Harrison, "Theorem proving with real numbers"
1994, Sai-Lai Lo, "A modular and extensible network storage architecture"
1993, Andrew D. Gordon, "Functional programming and input/output"
1990, Andrew Harter, "Three-dimensional integrated circuit layout"
Honours Lists
Prof Andy Hopper received a CBE in 2007.
Prof Roger Needham received a CBE in 2001.
Prof Maurice Wilkes was knighted in 2000.
Dr John Daugman received an OBE in 2000.
Fellowships
Royal Society
Prof Andy Hopper (2006)
Prof Mike Gordon (1994)
Prof Robin Milner (1988)
Prof Roger Needham (1985)
Prof David Wheeler (1981)
Prof Sir Maurice Wilkes (1956)
Royal Academy of Engineering
Prof Jon Crowcroft (1999)
Prof Andy Hopper (1996)
Prof Roger Needham (1993)
Prof Sir Maurice Wilkes (1976)
British Academy
Prof Karen Spärck Jones (1995)