Ian McCormack -

Registered user since Thu 2 Jul 2020

Name:Ian McCormack

Bio:

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

X (Twitter): https://x.com/icmccorm

GitHub: https://github.com/icmccorm

Research interests:Programming Languages & Software Engineering

Contributions

2020

SPLASH

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