PhD Candidate, Purdue University 2015-Present
Have been working with advisor Tiark Rompf on several research projects:
- Extending DOT: extending the mechanized foundations for Scala and similar languages with full dependent types
- Lantern: an expressive and performant deep learning framework
- LMS-NPRR: native SQL query compilation with an efficient NPRR join algorithm implementation in single-core in-memory setting