Gagandeep Singh (Preferred)
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.
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
Personal Links
Add links to your profiles on other sites. (Optional)
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)
2021 – Present
Postdoc
VMware Research (vmware.com)
2020 – 2021
PhD student
Swiss Federal Institute of Technology (ethz.ch)
2014 – 2020
MS student
Swiss Federal Institute of Technology (ethz.ch)
2012 – 2014
Undergrad student
Indian Institute of Technology, Patna (iitp.ac.in)
2008 – 2012
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
2021 – Present
Coworker
Nina Narodytska
****@vmware.com
2020 – Present
Coworker
Mahmood Sharif
****@vmware.com
2020 – Present
Coauthor
Gagandeep Singh
****@inf.ethz.ch
2019 – Present
Coworker
Mathew Mirman
****@inf.ethz.ch
2017 – Present
Coworker
Timon Gehr
****@inf.ethz.ch
2015 – Present
PhD Advisor
Martin Vechev
****@inf.ethz.ch
2014 – Present
PhD Advisor
Markus Puschel
****@inf.ethz.ch
2014 – Present
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
2018 – Present
Neural Network Verification
2018 – Present
Abstract Interpretation
2014 – Present
Formal Methods
2014 – Present