Hi! I’m an incoming master’s student (previously an undergrad) at UIUC interested in deep learning and formal verification. I’m currently building LLM infrastructure at Windsurf, and I’ve previously been a research assistant with the ADAPT Lab, a course assistant for CS 374, and an infra lead at ACM@UIUC.
Feel free to reach out with the links below!