Ian McCormack

Registered user since Thu 2 Jul 2020

Name:Ian McCormack

I’m a PhD student in Software Engineering at Carnegie Mellon University’s Institute for Software Research. I am advised by Dr. Jonathan Aldrich and Dr. Joshua Sunshine.

Tools that formally verify program 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.

Country:United States
Affiliation:Carnegie Mellon University
Personal website:https://icmccorm.me
Research interests:Programming Languages & Software Engineering


SPLASH 2020 Author of Direct Manipulation for Computational Making within the SPLASH-E-track
Author of A Software Library Model for the Internet of Things within the Student Research Competition-track