Jedidiah McClurg

Jedidiah McClurg is an Assistant Professor of Computer Science at Colorado State University. He holds a Ph.D. from the University of Colorado Boulder (2018) and has taught at Colorado School of Mines and the University of New Mexico. His research focuses on programming languages, program synthesis/verification, and software-defined networking (SDN), aiming to develop tools for secure and reliable code.

Education: Ph.D. Computer Science (CU Boulder, 2018), M.S. Computer Science (Northwestern, 2013), B.S. Electrical & Computer Engineering (University of Iowa, 2009).

Research interests emphasize network programming correctness, formal methods, and energy-efficient neural network execution. His work has been recognized in venues like PLDI, CAV, and DAC, with notable publications on network synchronization synthesis and compiler optimizations. Awards include NSF grants and CU Boulder’s Outstanding Research Award.

Advising: Supervised 8 graduate and undergraduate students, with placements at Google, Apple, and HP. Grants include multi-million NSF awards for network programming and resource constraint enforcement.