![Jedidiah McClurg](https://pldi23.sigplan.org/getProfileImage/jedidiahmcclurg/ee3da0e3-3474-4b7f-b8a0-f59c560c80cb/small.jpg?1711524255000)
Registered user since Tue 17 Feb 2015
Name:Jedidiah McClurg
Bio:
I am an assistant professor of computer science at Colorado State University, working on research in programming languages and synthesis/verification, with applications in domains such as networking, (distributed) systems, and compilers. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.
Country:United States
Affiliation:Colorado State University
Personal website: http://www.jrmcclurg.com/
Research interests:Programming Languages, Verification, Synthesis, Software-Defined Networking
Contributions
PLDI 2023-profile
View general profile
View general profile