Name:Jedidiah McClurg

Bio:

I am a senior scientist at Cornell University, working on research in programming languages and synthesis/verification, with applications in domains such as networking and (distributed) systems. 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.

Country:United States

Affiliation:Cornell University

Research interests:Programming Languages, Verification, Synthesis, Software-Defined Networking