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.com
X (Twitter): https://x.com/icmccorm
GitHub: https://github.com/icmccorm
Research interests:Programming Languages & Software Engineering
Contributions