Department: Computer Science Faculty Adviser: Sharad Malik Year of Study: G1 Undergraduate School: Princeton University Undergraduate Major: Electrical and Computer Engineering
As an undergraduate I did research in a few different fields: hardware verification, quantum computing, and machine learning theory. It felt scattered at the time, but it helped me figure out what is important to me in research and what kinds of problems I'm drawn to. One thing I love about Princeton is all the opportunities and resources it gives you. It can feel overwhelming, but if you have a problem or something you aspire to do, you can always find the resources to back you up.
I have a Labrador named Sandy after the movie Grease!
My research is in computer architecture and formal verification. In plain terms: chips are designed in code before they're built, and my work is on tools and methods that prove the design does what it's supposed to without bugs or security holes. I think it's exciting since if you ever tried to test code you know it is impossible to check all cases, so it is exciting you have a way of verifying something is correct and secure without needing to check case by case.
Not available to participate in Summer ReMatch+ program.
