Jedidiah McClurg

Jedidiah (Jed) McClurg was previously an Assistant Professor of Computer Science at the University of New Mexico (2018-2019), and received his Ph.D. from the CUPLV group at the University of Colorado Boulder in 2018. He is currently working on research in synthesis and verification of software-defined network (SDN) programs, but has broad interest in programming languages, formal methods, and networking. His overall goal is to develop tools and techniques to help programmers write better code. His work has appeared in top conferences such as PLDI and CAV, and he received an Outstanding Research Award (2017) and an Outstanding Teaching Assistant Award (2013) from the CU Boulder CS Department. He is also the recipient of an NSF CRII award. In his free time, Jedidiah enjoys hiking, rock climbing, and unicycling.