Awards
- Dimitris N. Chorafas Award to Rishabh Iyer for “outstanding PhD. Thesis at EPFL” (2024)
- Eurosys Roger Needham Award to Rishabh Iyer for for “best PhD. Thesis in Computer Systems in Europe” (2024)
- ACM SIGOPS Dennis M. Ritchie Award to Rishabh Iyer for “best PhD. Thesis in Computer Systems” (2023)
- Best Paper Award at KBNets to Solal Pirelli, Arseniy Zaostrovnykh and George Candea for “A Formally Verified NAT Stack” (2018)
- Patrick Denantes Memorial Prize to Baris Kasikci for “outstanding PhD thesis at EPFL” (2016)
- EuroSys Roger Needham Award to Baris Kasikci for “best PhD. Thesis in Computer Systems in Europe” (2016)
- EuroSys Jochen Liedtke Young Researchers Award to George Candea for “outstanding contributions to computer science in Europe” (2014)
- VMware Graduate Fellowship for Baris Kasikci to work on techniques for automated debugging (2014)
- Gold Prize at the Open Source Software World Challenge to Stefan Bucur and Cristian Zamfir for the Cloud9 platform (2013)
- Intel Doctoral Student Honor Programme Award to Vitaly Chipounov for the S2E system for building program analysis tools
- Silver Prize at the Open Source Software World Challenge to Vitaly Chipounov and Volodymyr Kuznetsov for the Device Driver Tester tool (2012)
- Intel Doctoral Student Honor Programme Award to Cristian Zamfir for his work on execution synthesis (2012)
- Best Paper Award at ASPLOS to Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea for “S2E: A Platform for In Vivo Multi-Path Analysis of Software Systems” (2011)
- IBM PhD Fellowship to Radu Banabic, to work on techniques for reliable distributed systems (2011)
- Google Europe Fellowship in Software Dependability to Stefan Bucur for his work on parallel symbolic execution
- ERC StG Grant to George Candea for a five-year research program on moving closer to zero-defect software through automatic cooperative self-improvement (2011)
- Google Focused Research Award to George Candea for a research program on cloud-based automated software reliability services (2010)
- Microsoft Research PhD Scholarship to Volodymyr Kuznetsov for work on selective symbolic execution
- Google Faculty Award to George Candea for research on scalable symbolic execution
- MIT TR35 Young Innovator Award to George Candea for his work on microrebooting and “crash-only software”