Tools that formally verify a program’s correctness tend to require significant up-front investment in annotating source code. I am researching gradual approaches to verification and program analysis to make these practices easier to adopt without compromising on soundness or effectiveness.
I am currently collaborating with Jenna Wise, Conrad Zimmerman, and Hermant Gouni on the design and implementation of a gradual verifier for the C0 programming language. We will empirically evaluate the effectiveness of this new gradual verification technique over C0’s existing static verifier.
Reese Grimsely, Edward Andert, Ian McCormack, Eve Hu, Bob Iannucci. “One Program to Rule the Intersection: Simulating Development of Distributed, Time-Sensitive Applications”. In: CPS-IoT Week, Student Design Competition: Networked Computing on the Edge, 2021. Won 2nd place
Ian C. McCormack, Chris Johnson. Direct Manipulation and SVG: Creating and Adjusting Graphics Programmatically and Visually. In: FabLearn 2020, Demonstration, October 10–11, 2020, Virtual, USA
I attended the University of Wisconsin-Eau Claire from 2017 to 2021, and I completed a double major in Computer Science and English with a cumulative GPA of 3.99.