William Mansky
Assistant Professor at University of Illinois Chicago
Greater Chicago Area United States
Summary
👤
Senior🎓
Top SchoolWilliam Mansky is an Assistant Professor and formal-methods researcher with 11 years of experience focused on proving correctness of programs, particularly concurrent systems. He extended the Verified Software Toolchain during a postdoc at Princeton and worked on Verified LLVM semantics and concurrency at UPenn, bringing deep expertise in mechanized verification and memory models. Based in the Greater Chicago Area, he combines academic rigor with practical tooling experience from internships that ranged from security research at MIT Lincoln Laboratory to GUI specification languages at DoCoMo USA Labs. His profile reflects a rare mix of long-term research in program verification and hands-on implementation of verified toolchains that make formal correctness claims actionable.
11 years of coding experience
8 years of employment as a software developer
University of Illinois Urbana-ChampaignA.B, Computer Science, A.B, Computer Science at Princeton University
Japanese, Spanish, Korean
Github Skills (24)
proof-assistant10
formal-methods10
compcert10
coq-library10
verification10
proof10
formal-verification10
coq10
toolchain10
opam7
benchmark7
vst7
theorem-proving6
dependent-types5
algorithms4
Programming languages (6)
Github contributions (5)
mansky1/ora
Mar 2023 - Jul 2026
Contributions:1 release, 1 PR, 37 pushes in 3 years 4 months
UIC-verif-group/worcshop
Jul 2022 - Feb 2023
Contributions:5 commits, 10 pushes, 1 branch in 6 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.