Hal Snyder
Chief Operating Officer
Arlington Heights, Illinois, United States
Summary
🤩
Rockstar🎓
Top SchoolHal Snyder is a versatile technology executive and engineer with 11 years in senior roles and decades of hands-on experience designing distributed systems, embedded software, and reliable networks. As COO of Sagemath Inc., he combines operational leadership with deep technical chops—having contributed backend and full-stack work to the widely used CoCalc project integrating multiple Jupyter kernels. His background spans Unix internals, device drivers, build and configuration management, ServiceNow automation, and Erlang-based concurrent systems, grounded by earlier careers as a math professor and a physician. He’s delivered sensor and Android solutions for healthcare research and led large-scale ITSM/CMDB automation at travel industry leaders. Comfortable switching between kernel-level code and executive strategy, he brings a rare mix of academic rigor, medical insight, and production systems engineering. Based in Arlington Heights, IL, he also pursues sustainability and public-health data science work evident in his GitHub interests.
11 years of coding experience
19 years of employment as a software developer
Mathematics, Physics, Sustainability, Mathematics, Physics, Sustainability at CourseraMath, Physics, Math, Physics at Haverford CollegeThe University of British Columbia / UBCCoursera / U of TokyoM.S., Mathematics, M.S., Mathematics at University of ChicagoB.S., Mathematics, Physics, B.S., Mathematics, Physics at Lake Forest CollegeMathematics, Physics, Sustainability, Mathematics, Physics, Sustainability at EdXM.D., Internal Medicine, M.D., Internal Medicine at Northwestern University - The Feinberg School of Medicine
c, sagemath, python, perl, erlang, ruby, r
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
backend10
python10
back-end-development10
scala9
anaconda9
bash9
front-end-development7
sage6
math6
Programming languages (10)
Github contributions (5)
sagemathinc/cocalc
May 2016 - Sep 2022
CoCalc: Collaborative Calculation in the Cloud
Role in this project:
Back-end & Full-stack Developer
Back-end & Full-stack DeveloperContributions:593 commits, 197 PRs, 14 pushes in 6 years 4 months
Contributions summary:Hal contributed to the CoCalc project by implementing and modifying features related to Jupyter kernel integration, including support for the `%python3` and `%anaconda` modes. Their work focused on connecting the web interface with different Jupyter kernels like Bash, Scala, Python, and Anaconda. The user also added support for handling various output types, including standard output, errors, and graphics, as well as implemented functions for handling text file operations such as reading, writing, and making paths public.
paripythonjupyter-notebookmathematicshydrogen
DrXyzzy/cocalc
Jul 2016 - Feb 2023
CoCalc's complete current source code repository -- use CoCalc at
Contributions:3 PRs, 246 pushes, 397 branches in 6 years 8 months
cocalccode-repository
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.