Gagandeep Singh is an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC) where he leads the FOrmally Certified Automation and Learning (FOCAL) Lab. He is also an Affiliated Researcher with VMware Research. He obtained a Ph.D. in Computer Science from ETH Zurich in 2020, where he designed scalable and precise automated reasoning methods and tools for programs and deep neural networks. Previously, he completed a Masters in Computer Science at ETH in 2014 and Bachelors in Computer Science and Engineering from IIT Patna in 2012.
External Service:
PC: AAAI'21
PC: PLDI'21
PC: CVPR'21
PC: IJCAI'21
PC: CCS'21
PC: ATVA'21
PC: SAS'21
PC: ICCV'21
PC: APLAS'21
PC: NeurIPS'21

External PC: ASPLOS'21
Journal reviewer: FAOC
Journal reviewer: TOPLAS
Journal reviewer: IEEE NNLS
Journal reviewer: Machine Learning