Kevin Sullivan
Computer Science Faculty at University of Virginia
Charlottesville, Virginia, United States
Summary
👤
Senior🎓
Top SchoolKevin Sullivan is a veteran computer science faculty member and researcher at the University of Virginia who brings over three decades of academic experience to software and systems engineering with an 11-year window of documented professional activity. He pursues a value-centered approach to architecture, evolution, and the economics of software, applying formal logical and mathematical methods to modeling, specification, and verification. An experienced community leader, he has chaired and served on steering committees for major ACM venues (Onward!, AOSD, SPLASH) and advised the Software Engineering Institute. His current research is supported by NSF, DoD Science of Security, and the Systems Engineering Research Center, and he offers legal and technical consulting that bridges rigorous theory and practical system design. An arguably underappreciated aspect of his work is the consistent emphasis on value-creation as the organizing principle that links formal methods to real-world engineering decisions.
11 years of coding experience
University of WashingtonBS, Computer Science, BS, Computer Science at Tufts University
Github Skills (200)
mathematical10
proofs10
verification10
dependent-types9
coq9
gatsby9
homotopy-type-theory9
hugo9
visual-studio-code-extension9
agda9
docker-image9
proof-assistant9
hosts9
theorem9
react9
Programming languages (20)
Github contributions (5)
kevinsullivan/cs2120f24
Aug 2024 - Jan 2025
Contributions:1 review, 1 PR, 111 pushes in 4 months
kevinsullivan/phys
Jan 2019 - Apr 2022
Simple affine 1-space and various physical space clients in Lean (Lean Prover)
Contributions:2 PRs, 48 pushes, 4 branches in 3 years 2 months
proverphysicalaffineleanclients
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.