William Hart
Distinguished Member Of Technical Staff at Sandia National Laboratories
Berlin, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolWilliam Hart is a Distinguished Member of Technical Staff at Sandia National Laboratories with 17+ years driving optimization, computational operations research, and data-science solutions for national security challenges. He combines deep academic training (PhD in Computer Science, UC San Diego) with practical impact—contributing to widely used open-source tools like Pyomo and improving test infrastructure and documentation for projects such as gcovr. At Sandia he has led research and partnership programs, bridging university collaboration, commercialization, and applied work in cybersecurity, critical infrastructure protection, and water security. His technical strengths span mathematical modeling, optimization algorithm design, and scalable expression-system engineering, with hands-on experience translating mathematical formulations into production-ready code. Colleagues rely on him for both technical depth and program leadership that turns rigorous research into deployable national-security capabilities.
17 years of coding experience
16 years of employment as a software developer
University of California, San DiegoBA, Mathematics, BA, Mathematics at University of Michigan
English
Stackoverflow
369reputation
57kreached
8answers
1question
Github Skills (19)
python10
expressions10
pyomo10
mathematical10
automation10
expression10
parsing10
parse10
automations10
modeling10
documentation10
optimization10
testing9
linear-programming9
bash8
Programming languages (10)
Github contributions (5)
Pyomo/pyomo-gallery
Jan 2015 - Jun 2017
A collection of Pyomo examples
Role in this project:
Backend Developer
Backend DeveloperContributions:25 commits, 2 PRs, 17 pushes in 2 years 5 months
Contributions summary:William's primary contribution involved the initial draft and final revisions of a Diet Problem example within the Pyomo framework. This included the creation of an abstract Pyomo model, defining sets, parameters, variables, and constraints. The user provided the underlying mathematical formulation and translated it into Pyomo code, demonstrating expertise in mathematical modeling and the Pyomo library. Further contributions included updates and final revisions to the model.
pythonpyomo
Pyomo/pyomo
Oct 2014 - Nov 2022
An object-oriented algebraic modeling language in Python for structured optimization problems.
Role in this project:Back-end Developer
Back-end DeveloperContributions:2 releases, 77 reviews, 2132 commits in 8 years 2 months
Contributions summary:William's commits focused on bug fixes and adding new example files for performance analysis. These changes involved modifications to the core Pyomo expression system, including improvements to how linear and quadratic terms are handled. The user also contributed to the implementation of the new API for the expression language, enhancing its performance and functionality with more efficient processing of expression trees.
pythonnonlinear-programmingstructuredgurobiproblems
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.