Zhendong Su erhält Amazon Research Award
Zusammen mit seinen Gruppenmitgliedern Dominik Winterer und Chengyu Zhang hat Professor Zhendong Su den angesehenen Amazon Research Award für ein Projekt im Bereich des Automated Reasoning erhalten.
Für ihr Projekt "Practical Techniques for Reliable, Robust and Performant SMT Solvers" haben Professor Zhendong Su, Doktorand Dominik Wintererund Postdoc Chengyu Zhang den Amazon Research Award im Bereich des Automated Reasoning erhalten.
Das «Amazon Research Awards»-Program stellt akademischen Forschenden aus einer Reihe von Disziplinen nicht zweckgebundene Mittel und AWS Promotional Credits zur Verfügung. Mit jedem Award soll die Arbeit von ein bis zwei Doktorierenden oder Postdocs für ein Jahr unter der Aufsicht von Professor:innen unterstützt werden. Die Empfänger haben ausserdem Zugriff auf mehr als 300 öffentliche Amazon-Datensätze und können die KI/ML-Dienste und -Tools von AWS nutzen.
Zur Person
Zhendong Su ist seit August 2018 ordentlicher Professor am Departement Informatik der ETH Zürich. Zuvor war er bis Juni 2019 ordentlicher Professor für Informatik und ein Chancellor's Fellow an der UC Davis, an die er im Januar 2003 nach seinem Doktorat in Informatik (mit Nebenfach Mathematik) an der UC Berkeley kam. Er erhielt einen B.S. in Informatik und einen B.A. in Mathematik von der UT Austin in 1995. Seine Forschung umfasst Programmiersprachen und Compiler, Software Engineering, Computersicherheit, Deep Learning und Technologien für die Bildung.