Description: Jedidiah R. McClurg, Assistant Professor of Computer Science, Colorado School of Mines
jed (30) mcclurg (5) jedidiah (3) jedidiah mcclurg (1) jed mcclurg (1)
I'm an assistant professor of Computer Science at Colorado State University , and previously taught at Colorado School of Mines and the University of New Mexico. I received my Ph.D. from the CUPLV group at the University of Colorado Boulder in 2018. I'm currently 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
Programming Languages, Synthesis/Verification, Compilers, Networking, Systems
31st International Conference on Parallel Architectures and Compilation Techniques
Jake Vossen | Home
Syllabi | Mines Program Verification & Synthesis Main Page
Syllabi | Mines CSCI-400 Main Page
Pavol Cerny's homepage
Jake Vossen | Home