Rushi Shah

About me

I am a Turing Scholar studying Computer Science and Mathematics at the University of Texas at Austin (Class of 2020). Before that, I graduated from Thomas Jefferson High School for Science and Technology (Class of 2016).

I conduct program synthesis research under Professor Işıl Dillig as part of the UToPiA research group.

I am the STEM Commitee Chairperson for TX Votes (a non-partisan civic engagement org on campus that primarily registers students to vote). I used to be an officer for UT's Information and Systems Security Society (ISSS).

I reading. Check out my recent reading lists: (At Least) 12 Books in 12 Months - 2017, (At Least) 12 Books in 12 Months - 2018, (At Least) 12 Books in 12 Months - 2019.

You can find me on my blog, Github, and Twitter. You can also email me.

Publications & Teaching

Synthesizing Database Applications for Schema Refactoring
Yuepeng Wang, James Dong, Rushi Shah, Isil Dillig
Programming Languages Design & Implementation (PLDI) 2019.

CS389L: Graduate Automated Logical Reasoning
Teaching Assistant
Spring 2019

Work Experience

Amazon Japan

I interned at Amazon in their Tokyo, Japan office during the summer after my sophomore year of college. I worked on machine vision algorithms to track real-time, location-based purchase trends in order data


I interned at Originate in their Manhattan, NYC office during the summer after my freshman year of college. Originate is a software consulting company (~150 employees across 5 offices). I mainly did distributed computing work for data center workload analysis with Scala + Spark + Cassandra.

The MITRE Corporation

I interned at the MITRE Corporation, a Federally Funded Research and Development Center, during the summer before junior year and the summer before senior year of high school. I conducted computer science research for the Federal Aviation Administration Department.

The first year I created and analyzed the performance of various call-sign identification algorithms and conducted natural language processing research on over 12,000 air traffic controller transmissions into the use of prefixes before call signs by air traffic controllers.

The second year I expanded my NLP work to over 25,000 transmissions and analyzed the use of separators between runway identifiers and clearances. I culminated my research by expanding the strict language model used for the Closed Runway Operations Prevention Device (CROPD) to boost the accuracy of the speech recognition engine.


During Spring Break of my junior year of high-school I was a web-development and web-design intern at nclud (a Washington DC based Web Design Firm). While there I assisted on various projects such as the nclud rebrand, the GreenMachine site, and the extremely important Meteor-Twitter pun app. Most of my work was in JavaScript including the Meteor framework and ThreeJS animations (shown above).

Selected Projects

2016rshah's Normal Github Chart

Serves your github contributions calendar as an image


Haskell static site compiler for Markdown/LaTeX posts


Converts shapes/symbols into python code

See Also