Personalizing mobile computing.

Conducted research in the intersection of formal systems and machine learning. Undergraduate thesis titled "On Formula Embeddings in Neural-Guided SAT Solving".

Worked on future Shortcuts features.

Worked on accelerating and personalizing user interaction on iOS with Shortcuts.

Designed and built a health data collection and aggregation system to make sense of health data.

Taught labs/recitations and held office hours for the introductory systems course at Georgia Tech.