News
2024-06-10I've arrived in New York City to start my summer internship with the AWS Privacy Engineering team in the Automated Reasoning Group (ARG). If you're in the area and want to chat about making verification practical for programmers, let's meet up!
2024-04-17
I'll be working as an applied science intern this summer with the AWS Privacy Engineering team in the Automated Reasoning Group (ARG) in New York City.
2023-12-25
I attended ESEC/FSE '23 earlier this month in San Francisco. It was great to catch up with friends and meet new people.
2023-10-03
I will be attending ICSME '23 in Bogotá, Colombia. Come say hi!
2023-09-27
I've (officially) started as a PhD student at the Paul G. Allen School of Computer Science & Engineering