2021 ACM SIGPLAN Dissertation Award for Gagandeep Singh
Gagandeep Singh, former doctoral student at the Department of Computer Science at ETH Zurich, received the 2021 ACM SIGPLAN Dissertation Award for his work on building safe and robust AI systems. Congratulations!
For his dissertation on "Scalable Automated Reasoning for Programs and Deep Learning", Gagandeep Singh received the 2021 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award. Gagandeep wrote his dissertation on AI systems at the Institute of Programming Languages and Systems at the Department of Computer Science at ETH Zurich. In his dissertation, he designed new general methods to enable scalable and precise automated formal reasoning of both numerical software and deep learning models. Gagandeep's advisors were Martin Vechev, head of Secure, Reliable, and Intelligent Systems Lab, and Markus Püschel, head of the Advanced Computing Laboratory.
As of Fall 2021, Gagandeep is working as an Assistant Professor at the University of Illinois at Urbana-Champaign (UIUC) and researching in the areas of artificial intelligence, programming languages, and systems.
Gagandeep shares his 2021 ACM SIGPLAN Dissertation Award with Ralf Jung from the Max Planck Institute for Software Systems and Saarland University. Congratulations to both scientists!
Read the official announcement external pagehere