Shaurya Gomber

I am a 2nd year thesis-track Masters in Computer Science (MS CS) student at the University of Illinois, Urbana-Champaign. I am interested in the real-world applications of Formal Methods and Programming Languages concepts, including areas like Automated Reasoning, SMT Solvers & Neuro-symbolic AI.

At UIUC, I am working on neuro-symbolic program analysis techniques under the guidance of Prof. Gagandeep Singh. I have also collaborated with Prof. Mahesh Viswanathan on a project on automated termination analysis of programs (submitted to PLDI ‘24) and Prof. Madhusudan Parthasarathy on constraint-based synthesis using SMT Solvers.

I was an Applied Science intern at Amazon Science this summer (2023). I worked with the Zelkova team (Automated Reasoning Group @ AWS) on encoding verification queries in SMTO (SMT with Oracles) for the cases that involved type-casting and reasoning about equality and inequality of variables of different types (say reasoning about the numeric value of a string like “42”), and are not easily encodeable in SMT. We filed a patent for this work and plan to submit it to CAV ‘24.

Before my MS, I graduated with a B. Tech. degree in Computer Science from IIT Guwahati in May 2020 (Thesis under Dr. Ashish Anand). I then worked as a software engineer (SDE-2) in the Trading Systems team at D. E. Shaw & Co for two years, where I worked on an intersection of low latency distributed systems, software engineering & finance.

In my free time, I love to play Lawn Tennis & Table Tennis and listen to songs. I am a passionate cricket follower, so if you find me recalling and remembering obscure cricket facts and records, then don’t worry, I am fine, its just the cricket buff inside me!