Assistant Professor, Computer Science
Dr. McClurg 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, Dr. McClurg enjoys hiking, rock climbing, and unicycling.
- Ph.D. Computer Science, University of Colorado Boulder (2018)
- M.S. Computer Science, Northwestern University (2013)
- B.S.E. Electrical & Computer Engineering, University of Iowa (2009)
- Programming Languages, Program Synthesis/Verification, Software-Defined Networking