Office: Computer Science Building 464
Phone: (000) 000-0000
Curriculum Vitae: https://cv.jrmcclurg.com
Google Scholar: https://scholar.google.com/citations?user=SVuYyQ4AAAAJ
- Ph.D. Computer Science, CU Boulder, 2018
- M.S. Computer Science, Northwestern University, 2013
- B.S. Electrical Engineering, University of Iowa, 2009
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 in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.