Ian Sweet
Research Engineer at Galois, Inc.
College Park, Maryland, United States
Summary
🤩
Rockstar🎓
Top SchoolIan Sweet is a research engineer with 11 years of experience at the intersection of programming languages and software engineering, currently applying formal and practical research at Galois. He earned his BS, MS, and is pursuing a PhD in Computer Science from the University of Maryland, where he spent a decade contributing to the PLUM group on program analysis, model checking, and systems courses. Ian has transitioned research into practice through software engineering roles at Correct Computation and earlier industry positions, bringing rigor to real-world codebases. He also has extensive teaching and mentoring experience as a long-time TA and research assistant, which informs his clear technical communication and reproducible research practices. Based in College Park, Maryland, he blends deep academic training with hands-on development of verifiable and reliable software systems. A detail that sets him apart is sustained involvement across both formal methods research and production engineering, enabling him to bridge proofs and products.
11 years of coding experience
3 years of employment as a software developer
South River Senior High SchoolThe University of Maryland, College ParkDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Maryland
Github Skills (164)
yellow10
analyzer10
java10
static-analysis9
opam9
fibers9
jbuilder9
multicore9
dune9
idris9
fhe9
cpp9
objective-c9
static-code-analysis9
static-analyzer9
Programming languages (16)
Github contributions (5)
plum-umd/oblivml
Mar 2018 - Oct 2021
Contributions:1 release, 94 commits, 8 PRs in 3 years 7 months
computation
Isweet/dotfiles
Oct 2015 - Sep 2019
Contributions:28 pushes, 1 branch in 3 years 10 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.