I am a fourth-year computer science major at UT. I mainly study logic and natural language semantics, and I also enjoy functional programming and type theory.
I do research with Vladimir Lifschitz.
I've spent time at TripAdvisor, Qualcomm Corporate R&D, and soon Dropbox. I'm starting my PhD in Fall 2015.