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 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).
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
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.
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.