Jedidiah McClurg

Registered user since Tue 17 Feb 2015

Name:Jedidiah McClurg
Bio:

I am a graduate student in Computer Science at the University of Colorado Boulder working on research in synthesis and verification of software-defined network (SDN) programs. My overall goal is to develop tools and techniques to help network programmers write better code. In my free time, I enjoy hiking, rock climbing, and unicycling.

Country:United States
Affiliation:University of Colorado Boulder
Research interests:Programming Languages, Verification, Synthesis, Software-Defined Networking

Contributions

Show activities from other conferences

POPL 2018-profile
View general profile