Zhendong Su receives Amazon Research Award
Professor Zhendong Su, along with his group members Dominik Winterer and Chengyu Zhang, has received the prestigious Amazon Research Award for their work in the field of automated reasoning.
For their project "Practical Techniques for Reliable, Robust and Performant SMT Solvers", Professor Zhendong Su, doctoral student Dominik Winterer and postdoc Chengyu Zhang have received the Amazon Research Award in the area of automated reasoning.
The Amazon Research Awards programme provides unrestricted funds and AWS Promotional Credits to academic researchers investigating research topics across a number of disciplines. Each award is intended to support the work of one to two graduate students or postdoctoral students for one year, under the supervision of a faculty member. The recipients also have access to more than 300 Amazon public datasets, and can utilise AWS AI/ML services and tools.
About
Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. He had been a full professor in Computer Science and a Chancellor's Fellow at UC Davis until June 2019. He joined the UC Davis faculty in January 2003 after receiving his Ph.D. in Computer Science (with minor in Mathematics) from UC Berkeley. He received a B.S. in Computer Science and a B.A. in Mathematics from UT Austin in 1995. His research spans programming languages and compilers, software engineering, computer security, deep learning and education technologies.