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

Twitter:https://twitter.com/icmccorm

GitHub:https://github.com/icmccorm

Research interests:Programming Languages & Software Engineering

Contributions

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