Matt Schwennesen

I am a fourth year PhD student in Computer Science, working with Ethan Cecchetti on Choreographic Programming. My work seeks to enable the construction of real choreographic systems while maintaining the strong theoretical properties of choreographic languages. Before that I was advised by Tej Chajed and worked on software verification for distributed systems. I am also passionate about teaching and computer science education, and I taught CS 400 during the summer.

More detailed information can be found on the About page.