Prof. Cristian Cadar Receives Prestigious Humboldt Research Award

by

Reflection of Queens Tower on building

This prestigious accolade is granted to internationally renowned researchers

Prof. Cristian Cadar, a leading expert in software engineering and program analysis, has been awarded the Humboldt Research Award by the Alexander von Humboldt Foundation in Germany. This prestigious accolade is granted to internationally renowned researchers in recognition of their exceptional academic achievements.Prof Cristan Cadar

As the head of the Software Reliability Group in the Department of Computing at Imperial College London, Prof. Cadar has made fundamental contributions to increasing the reliability and security of software systems. His pioneering work includes advancements in dynamic symbolic execution, program analysis for evolving software, and multi-version execution. Many of these innovations have been made available as open-source tools, significantly influencing both academia and industry. Among these, the KLEE symbolic execution system, co-authored and maintained by Prof. Cadar, has become a widely used and impactful analysis framework.

Expressing his gratitude, Prof. Cadar said, "I would like to thank the Humboldt Foundation for this prestigious award, which will allow me to spend part of my sabbatical working with researchers in Germany on novel neurosymbolic techniques to solve pressing software engineering problems. I would also like to thank my current and past students and collaborators, without whom the work leading to this award would not have been possible."

The award will enable Prof. Cadar to spend several months in Germany during his sabbatical year, collaborating with top researchers, particularly Prof. Michael Pradel at the University of Stuttgart.  Prof. Pradel is a distinguished expert in neurosymbolic techniques and software engineering.

This recognition adds to a growing list of accolades for Prof. Cadar, including the EuroSys Jochen Liedtke Award, the HVC Award, the BCS Roger Needham Award, the IEEE TCSE New Directions Award, and two Test of Time awards.

With a PhD in Computer Science from Stanford University and undergraduate and Master’s degrees from the Massachusetts Institute of Technology, Prof. Cadar’s achievements continue to exemplify the excellence of Imperial’s Department of Computing on the global stage.

For more about Prof. Cadar’s work and the Software Reliability Group, visit https://srg.doc.ic.ac.uk.

Reporter

Mr Ahmed Idle

Mr Ahmed Idle
Department of Computing

Tags:

Engineering-Computing
See more tags