Name:Charlie Murphy

Bio:

I am an Assistant Professor in the Gianforte School of Computing at Montana State University. Previously, I was an Applied Scientist at Amazon Web Services (AWS) where I became a maintainer of the Cedar open source authorization language. Before AWS, I was a PostDoctoral Research Associate at the University of Wisconsin–Madison working with Loris D’Antoni and Tom Reps. I received my PhD in computer science from Princeton University in 2023 where I was advised by Zak Kincaid. I received my BS in Computer Science from Ohio University’s Honors Tutorial College in 2016 and my MA in Computer Science from Princeton University in 2018.

Country:United States

Affiliation:Montana State University

Research interests:Program Verification and Synthesis, Logic Solving, Formal Methods