William Harrison
Principal at Galois, Inc.
Missouri, United States
Summary
👤
Senior🎓
Top SchoolWilliam Harrison is a Principal researcher and scientist with nine years in industry and a long academic pedigree, combining a PhD from UIUC and early roles in language semantics with leadership in applied formal methods and secure hardware. He designs programming languages and pursues both fundamental and applied research in high-assurance, secure hardware construction using functional languages, translating formal techniques into practical systems at labs and companies such as Oak Ridge, Two Six, Idaho National Laboratory, and now Galois. As former director of a university Center for High Assurance Computing and an associate professor, he blends deep theoretical expertise with hands-on engineering to harden systems across the hardware-software stack. Based in Missouri, he is known for bringing rigorous semantics and formal verification into real-world security and cybersecurity projects, often applying functional-language approaches to improve assurance where conventional tools fall short.
9 years of coding experience
24 years of employment as a software developer
Master of Science (MS), Computer Science, Master of Science (MS), Computer Science at University of California, DavisBachelor of Arts (BA), Mathematics, Bachelor of Arts (BA), Mathematics at University of California, BerkeleyPh.D, Computer Science, Ph.D, Computer Science at University of Illinois Urbana-Champaign
German
Github Skills (5)
subset8
vhdl7
asic7
haskell5
compiler3
Programming languages (1)
Github contributions (5)
harrisonwl/harrisonwl.github.io
Apr 2022 - Dec 2022
Contributions:6 commits, 351 pushes, 1 branch in 8 months
harrisonwl/ReWireFix
Aug 2023 - Aug 2024
A Haskell to HDL (Verilog/VHDL) Compiler
Contributions:2 pushes in 1 year
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.