Charlie Murphy
Assistant Professor at Montana State University-Bozeman
Bozeman, Montana, United States
Summary
🤩
Rockstar🎓
Top SchoolCharlie Murphy is an Assistant Professor at Montana State University and a PhD-trained computer scientist specializing in formal methods, verification, and automated reasoning. After a postdoc at Wisconsin–Madison and a PhD from Princeton, Charlie translated research into practice as an Applied Scientist at AWS, where they maintained the open-source Cedar authorization language and released a symbolic compiler to improve analyzability. Their work also produced cedar-for-agents, tooling to secure agent-tool interactions—an example of applying formal verification to emerging AI infrastructure. With hands-on experience teaching data structures, distributed systems, and automated reasoning, Charlie blends rigorous theory with practical systems engineering. Based in Bozeman, Montana, they bring academic depth and production-grade open-source impact despite an early-career timeline.
1 year of coding experience
5 years of employment as a software developer
Bachelor of Science in Computer Science Computer Science, Bachelor of Science in Computer Science Computer Science at Ohio UniversityDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Princeton University
English, SpanishProgramming languages (2)
Github contributions (5)
chaluli/cedar
Feb 2025 - Mar 2025
Implementation of the Cedar Policy Language
Contributions:39 pushes, 7 branches in 28 days
chaluli/cedar-spec
Feb 2025 - Mar 2025
Definitional implementation of Cedar language and utilities for DRT
Contributions:6 pushes, 3 branches in 25 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.