CS PhD student at UIUC | Program Analysis & Automated Reasoning
-
University of Illinois, Urbana-Champaign
- Illinois, USA
- sgomber.github.io
- @s_gomber
Highlights
- Pro
Madhav Kanda
Madhav-Kanda
MSCS @ UIUC | BTech CS @ IITGN | Interned @ Aalto University, IISc Bangalore, Spyne.ai
Isha Chaudhary
ishcha
Ph.D. student in Computer Science.
University of Illinois Urbana Champaign United States
Manu Sridharan
msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple
Riverside, CA
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Gagandeep Singh
GgnDpSngh
Tenure Track Assistant Professor of Computer Science at UIUC.
UIUC Illinois, USA
Ameya Daigavane
ameya98
PhD Student at MIT EECS with the Atomic Architects, and intern at Prescient Design, Genentech. Previously at Google Research and the MLIA group at NASA JPL.
Cambridge, MA
Shashwat Jolly
shashwatjolly
Software Engineer @ Microsoft, Vancouver | GSOC 2020 @ KDE and EteSync | Mathematics and Computing graduate @ IIT Guwahati
Microsoft Vancouver