News

I'll be working as a research intern this summer with the RiSE (Research in Software Engineering) group over at Microsoft Research in Redmond, this summer!

I presented my qualifying project presentation today, on "Verifying the Option Type with Rely—Guarantee Reasoning". Thank you to everyone who came and saw the talk!

2024

I'm happy to share that the paper "Verifying the Option Type with Rely—Guarantee Reasoning" I wrote with Mike Ernst and René Just has been accepted to ASE 2024. Looking forward to sharing our work in Sacramento this October!

I'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!

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

I attended ESEC/FSE '23 earlier this month in San Francisco. It was great to catch up with friends and meet new people.

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.