Zhendong Su

Solidifying the Software Foundations

Software applications and technologies are built on top of foundational systems such as compilers, databases, and theorem provers. Such foundations form the trusted computing base and fundamentally impact software quality and security. Thus, solidifying them is a critical challenge. This talk will highlight general, effective techniques, and extensive, impactful efforts to find thousands of critical issues in widely-used compilers, database management systems, and SMT solvers. It focuses on the high-level principles and core techniques, their significant practical successes, and future opportunities and challenges.
 

back to overview
 

Biography

Zhendong Su is a Professor in the Department of Computer Science at ETH Zurich. He had previously been a full professor in Computer Science and a Chancellor's Fellow at UC Davis. He is passionate about fundamental and practical innovations for building software. His research spans programming languages and compilers, software engineering, computer security, deep learning, and education technologies. He served on the steering committees of ISSTA and ESEC/FSE, served as an Associate Editor for ACM TOSEM, co-chaired SAS 2009, program chaired ISSTA 2012, and program co-chaired SIGSOFT FSE 2016. He is a Member of the Academia Europaea, and a Fellow of the ACM and the IEEE.
Footer

Imprint / Privacy