Name:Charlie Murphy

Bio:

I am an Applied Scientist at Amazon Web Service’s Automated Reasoning in Identity group. Previously, I received my PhD from Princeton University under Zak Kincaid, and was a post-doctoral research associated at the University of Wisconsin-Madison working with working with Loris D’Antoni and Thomas Reps.

I am currently a maintainer of the Cedar Policy Language, an open source authorization policy language. Broadly, my research interests are in the co-development of logic solvers and general-purpose deductive program verification and synthesis techniques.

Country:United States

Affiliation:Amazon Web Services, USA

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