Shaurya Gomber
CS PhD student @ UIUC
I am a 1st year CS Phd student at the University of Illinois Urbana-Champaign (UIUC) working with Prof. Gagandeep Singh. My current research focuses on developing efficient and precise techniques for program analysis by leveraging the synergy between learning-based and symbolic methods. I also have a keen interest in automated reasoning tools (such as SAT/SMT solvers), and the analysis of neuro-symbolic systems.
Prior to starting my PhD, I obtained my MS CS degree from UIUC (2022-2024), where I was advised by Prof. Gagandeep Singh (Thesis: Neural Abstract Interpretation). Before my MS, I graduated with a B. Tech. degree in Computer Science from IIT Guwahati in May 2020. After that, I worked as a software engineer (SDE-2) in the Trading Systems team at D. E. Shaw & Co. for two years. I was also as an Applied Science Intern (Summer 2023) with the Automated Reasoning Group @ AWS (Zelkova team).
Affiliations & Internships
|
|
|
|
| IIT Guwahati 2016-2020 B. Tech Computer Science |
D. E. Shaw & Co. Summer 2019 & 2020-2022 SDE Intern & SDE-2 (Trading Systems) |
Amazon Science Summer 2023 Applied Science Intern Automated Reasoning @ AWS |
UIUC 2022-Present MS & PhD Computer Science |
news
| Aug 28, 2024 | Honored to be named the recipient of the 2024-2025 Richard T. Cheng Endowed Fellowship! |
|---|---|
| Aug 26, 2024 | Started my Phd at UIUC! |
| May 10, 2024 | Graduated with an MS degree in Computer Science from UIUC. |
| May 1, 2024 | Work on Neural Abstract Interpretation accepted at SRC@PLDI 2024! |
| Jan 22, 2024 | Started working as a Graduate Research Assistant with Prof. Gagandeep Singh for Spring 2024. |
| Jan 15, 2024 | Will be a part of the Artifact Evaluation Committee for PLDI ‘24. |
| Aug 16, 2023 | Started working as a Teaching Assistant for CS421: Programming Languages & Compilers (Fall 2023) |
| May 30, 2023 | Joined the Zelkova team (Automated Reasoning Group @ AWS) as an Applied Science Intern! |
| Jan 17, 2023 | Started working as a Teaching Assistant for CS421 Programming Languages & Compilers (Spring 2023) |
| Aug 22, 2022 | Started working as a Teaching Assistant for CS225 Data Structures (Fall 2022) |
| Aug 15, 2022 | Joined the MS CS program at University of Illinois, Urbana-Champaign! |
| Dec 27, 2021 | Promoted to Software Engineer 2 at D. E. Shaw & Co. |
| Jun 22, 2020 | Joined the Trading Systems team at D. E. Shaw & Co as a Software Engineer. |
| May 18, 2020 | Graduated with B. Tech degree in Computer Science from IIT Guwahati. |