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.

My pronouns are he/him/his. You can find me on my blog, Github, and Twitter. You can also email me.

Publications & Research

Synthesizing Database Applications for Schema Refactoring
Yuepeng Wang, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig
Very Large DataBases (VLDB) 2020.

Texas Felon Disenfranchisement Enables Institutional Racism
Rushi Shah
The Daily Texan.

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

Work Experience

CS389L: Graduate Automated Logical Reasoning

I served as a teaching assistant for 60 UT Austin Master's and Ph.D. students in Professor Isil Dillig's CS389L: Graduate Automated Logical Reasoning class during the Spring of 2019. I graded their weekly proof-based homeworks, helped grade their midterm exam and their final exam, and held well-attended weekly office hours.

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

Originate

I interned at Originate in their Manhattan, NYC office during the summer after my freshman year of college. Originate is a mid-sized software consulting company. I mainly did distributed computing work for data center workload analysis with Scala + Spark + Cassandra.

The MITRE Corporation

I interned at the MITRE Corporation in the Federal Aviation Administration Department during the summer before junior year and the summer before senior year of high school. My natural language processing research improved the Closed Runway Operations Prevention Device (CROPD) which helps air traffic controllers prevent plane crashes.

nclud

I interned at nclud, a Washington DC based web design firm, during Spring Break of my junior year of high-school. My work was primarily 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 (350+ Github stars)

Heckle

Static site compiler in Haskell (75+ Github stars)

Pynt

Converts drawings into python (10+ Github stars)

See Also