Gagandeep Singh

University of Illinois, Urbana Champaign

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Gagandeep Singh (Preferred)

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

****@inf.ethz.ch
,
****@illinois.edu
,
****@vmware.com

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

Assistant Professor
University of Illinois, Urbana Champaign (illinois.edu)
2021Present
 
Postdoc
VMware Research (vmware.com)
20202021
 
PhD student
Swiss Federal Institute of Technology (ethz.ch)
20142020
 
MS student
Swiss Federal Institute of Technology (ethz.ch)
20122014
 
Undergrad student
Indian Institute of Technology, Patna (iitp.ac.in)
20082012
 

Advisors, Relations & Conflicts

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

Coworker
Haoze Wu
****@stanford.edu
2021Present
 
Coworker
Nina Narodytska
****@vmware.com
2020Present
 
Coworker
Mahmood Sharif
****@vmware.com
2020Present
 
Coauthor
Gagandeep Singh
****@inf.ethz.ch
2019Present
 
Coworker
Mathew Mirman
****@inf.ethz.ch
2017Present
 
Coworker
Timon Gehr
****@inf.ethz.ch
2015Present
 
PhD Advisor
Martin Vechev
****@inf.ethz.ch
2014Present
 
PhD Advisor
Markus Puschel
****@inf.ethz.ch
2014Present
 

Expertise

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

Adversarial Robustness
2018Present
 
Neural Network Verification
2018Present
 
Abstract Interpretation
2014Present
 
Formal Methods
2014Present