conf.researchr.org / 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