Dr Cristian Cadar announced as winner of BCS Roger Needham Award
Dr Cristian Cadar has been awarded the BCS Roger Needham Award for 2019 sponsored by Microsoft Research Cambridge. The award has been made in recognition of his outstanding work in the field of Software Reliability.
Dr Cadar is a Reader in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. His research focuses on building practical techniques for improving the reliability and security of software systems, and spans the areas of software engineering, computer systems and security.
He has been chosen to receive the Award in recognition of his distinguished contribution through his pioneering work in dynamic symbolic execution (DSE). This is an influential program analysis technique used to explore and analyse program paths. DSE is used by the likes of Fujitsu, IBM and Microsoft to find errors and security vulnerabilities in complex software systems.
Dr Cadar’s contributions to DSE include the concept of mixed concrete-symbolic execution for improving scalability and enabling interaction with external code; the first bit-precise memory model for DSE which makes it possible to detect subtle bugs leading to security vulnerabilities; the design of effective heuristics for search space exploration; DSE-specific optimizations for speeding up constraint solving; path pruning and targeted transformations for improved scalability; and techniques for effective patch testing.
His work and international influence goes beyond DSE. He contributed to the failure-oblivious computing project at MIT for improving the resilience of software systems, one of the defining projects in the field of acceptability-oriented computing. He collaborated on the WIT project for runtime security at Microsoft Research, which has now been tech-transferred into Microsoft’s Visual Studio compiler. At Imperial, his team has played a significant role in the regeneration of the field of multi-version execution by proposing a decentralized architecture based on an in-memory ring buffer, which enables higher availability dynamic software updates and the deployment of dynamic analyses in production. His research has been previously recognized by several prestigious awards, including the EuroSys Jochen Liedtke Young Researcher Award, the HVC Award, the ACM SIGOPS Hall of Fame Award and the ACM CCS Test of Time Award.
Dr Cadar says of receiving the award: “I’m greatly honoured to receive the BCS Needham Award and am delighted to have my work recognised in this way. I am grateful to my research team, mentors and collaborators for making this research possible. I also find it heartening that software reliability techniques are receiving so much attention, as these techniques can help create safer and more secure software systems.”
Brendan Murphy, Principal Researcher, Microsoft Research Cambridge says: “Dr Cadar is a very deserving winner of the prestigious Roger Needham Award. The field of software engineering is a major growth area in computer science, with software companies making significant investment in engineering tools as they transition towards a more service orientated world. Dr. Cedar’s research focusing on the reliability and security of software development processes will assist the industry as they re-engineer their deployment processes.”
The Needham Award is decided each year by a distinguished panel of academics, chaired in 2019 by Prof. Steve Furber.
Prof. Steve Furber, Chair of BCS Academy Awards Committee adds: “I’m delighted to announce Dr Cristian Cadar as the worthy recipient of the Needham Award in recognition of his distinguished research contribution in computer science. His work will have a wide-ranging and lasting impact on society. His ground-breaking work is extremely innovative and affords important insights into the exciting area of Software Reliability.”
The Roger Needham Award is sponsored by Microsoft Research Cambridge and established in memory of Microsoft’s first director of research outside the US. It is awarded for a distinguished research contribution in computer science by a UK based researcher within ten years of their PhD.
Dr Cadar will give the Needham Lecture which will take place at The Royal Society this autumn.
Nominations for the 2020 award open on Monday 21 October 2019 and close on Friday 24 January 2020.
Latest News from
Fancy a career in AI? BCS Launches AI Foundation Certificate03/12/2019 13:10:00
A recent report from PwC states that 7.2 million jobs in AI and related technologies will be created in the UK in the next 20 years.
Invotra winner of SME category at the National Apprenticeship Awards 201929/11/2019 13:20:00
A Woking-based company, Invotra, has won the SME Employer of the Year category sponsored by BCS, The Chartered Institute for IT and RITTech, at the National Apprenticeship Awards 2019.
Winner of the BCS Cyber Crime Cup™ announced28/11/2019 10:20:00
SegFault Squard from Royal Holloway, University of London (RHUL) has been announced as the winner of The Cyber Crime Cup™ 2019, the first time a cyber security competition has been held live as a spectator eSport.
Lumen Prize: Lichtsuchende wins BCS AI Award27/11/2019 12:20:00
An interactive installation called ‘Lichtsuchende’ – Cybernetic Sunflowers with Maslovian Behaviours – has won the 2019 Lumen Prize – BCS AI Award.
Who owns the Web: BCS Welcomes Contract for Web - Launched by Sir Tim Berners-Lee26/11/2019 13:20:00
BCS, The Chartered Institute for IT has welcomed the launch of a Contract for the web by Sir Tim Berners-Lee – a global plan of action to make our online world safe and empowering for everyone.
Winners announced of IT Industry Awards14/11/2019 13:10:00
The Natural History Museum, METCloud, Travis Perkins, Virgin Trains (West Coast Trains) and Mastek are among the winners of the 2019 UK IT Industry Awards run by BCS, The Chartered Institute for IT and Computing.
BCS brings Cyber Crime Cup™ to The Etihad Stadium12/11/2019 11:10:00
“Manchester’s Etihad Stadium is set to host BCS’s first live cyber security eSport - the Cyber Crime Cup™ – which takes place at Cyber Crime 2019 on Monday 25 November 2019. With less than a month to go – tickets are going fast.”
Top ten tips for a digitally ethical election, according to BCS, The Chartered Institute for IT08/11/2019 15:20:00
BCS, The Chartered Institute for IT is backing a call for politicians of all persuasions to do the right thing when it comes to using data to influence voters.