Ian Mccormack
PhD Student In Software Engineering at Carnegie Mellon University Software and Societal Systems Department
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolIan Mccormack is a PhD candidate in Software Engineering at Carnegie Mellon University specializing in the challenges of integrating memory-safe languages with legacy code. Over eight years of experience, he has built the first prototype gradual verifier for C0 and led a large-scale empirical study that uncovered 48 new bugs in multi-language Rust applications, including one in a Rust-maintained library. His research combines tool-building, large-data developer surveys, and qualitative interviews—he surveyed and interviewed 179 Rust developers to understand unsafe-code practices. Based in Pittsburgh, he brings a rare blend of rigorous systems research and practical software-forensics that surfaces real-world interoperability risks for modern language adoption.
8 years of coding experience
Doctor of Philosophy - PhD, Software Engineering, Doctor of Philosophy - PhD, Software Engineering at Carnegie Mellon University School of Computer ScienceB.S., B.A., Computer Science; English: Rhetoric of Science, Technology, and Culture, B.S., B.A., Computer Science; English: Rhetoric of Science, Technology, and Culture at University of Wisconsin-Eau Claire
Github Skills (96)
rust-language10
garbage-collection10
rust-lang10
compiler10
rust10
crate10
allocator10
newsletter10
standard-library10
pelican10
zlib9
intermediate9
rust-api9
gzip9
deflate9
Programming languages (10)
Github contributions (5)
gradual-verification/gvc0
Sep 2021 - Dec 2022
Gradually Verified C0
Contributions:1 review, 610 commits, 1 PR in 1 year 2 months
verified
icmccorm/llvm-project
Jun 2023 - Oct 2024
Rust-specific fork of LLVM.
Contributions:2 PRs, 60 pushes, 5 branches in 1 year 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.