Write a Blog >>
PLDI 2021
Sun 20 - Fri 25 June 2021 Virtual Conference
Gagandeep Singh

Registered user since Fri 17 Oct 2014

Name: Gagandeep Singh

Bio: I am a Ph.D. student in the Secure, Reliable, and Intelligent Systems Lab supervised by Prof. Martin Vechev and Prof. Markus PĆ¼schel since Nov 2014. I was born in Raebareli, India. I am broadly interested in the automated formal reasoning of modern systems. Examples include numerical program analysis and neural network verification. I will be starting as an assistant professor of CS at UIUC from August 2021.

Country: Switzerland

Affiliation: ETH Zurich

Personal website: https://www.sri.inf.ethz.ch/people/gagandeep

Research interests: Programming Languages, formal methods, machine learning

Contributions

PLDI 2021Committee Member in Program Committee within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2021-profile
View general profile