ggndpsngh.github.io - Gagandeep Singh - FOCAL Lab@UIUC

Example domain paragraphs

Tenure-Track Assistant Professor UIUC

I am an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC) where I lead the FOrmally Certified Automation and Learning (FOCAL) Lab. I also hold an Affiliated Researcher position with VMware Research. My current focus is on combining ideas from Formal Logic, Machine Learning, and Systems research to construct intelligent compute systems with formal guarantees about their behavior and safety . I obtained a PhD in Computer Science from ETH Zurich in

For prospective PhD candidates : Please apply to the UIUC CS graduate program and mention my name. I will get back to you if there is a good match.

Links to ggndpsngh.github.io (4)

staticanalysis.org Static Analysis Symposia Central Site
cmxu.io Calvin Xu - Calvin Xu
shubhamugare.github.io Shubham Ugare
focallab.org Gagandeep Singh - FOCAL Lab@UIUC