William Brandon
Computer Scientist
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolWilliam Brandon is a computer scientist and PhD student at MIT CSAIL with 11 years of engineering experience building compilers and systems for high-performance computing. He has commercial compiler engineering experience at NVIDIA focused on accelerating deep learning on GPUs and has contributed to cloud platform tooling and security automation at Pivotal. An active open-source contributor, he enhanced the P programming language with .NET runtime support, build system upgrades, and new language features—demonstrating deep familiarity with language internals and cross-platform build processes. Trained in computer science and mathematics at UC Berkeley, he combines rigorous academic foundations with practical production experience shipping complex tooling and compiler features.
11 years of coding experience
2 years of employment as a software developer
Bachelor of Arts, Computer Science and Mathematics, Bachelor of Arts, Computer Science and Mathematics at University of California, BerkeleyDoctor of Philosophy - PhD, Electrical Engineering and Computer Science, Doctor of Philosophy - PhD, Electrical Engineering and Computer Science at Massachusetts Institute of Technology
Github Skills (6)
netcore10
build-automation10
netframework10
distributed-systems9
asynchronous9
formal-methods7
Programming languages (10)
Github contributions (5)
p-org/P
Aug 2019 - Sep 2019
The P programming language.
Role in this project:
Backend Developer
Backend DeveloperContributions:20 commits, 3 PRs, 20 pushes in 1 month
Contributions summary:William primarily focused on enhancing the P programming language's functionality and compatibility. They added support for the .NET Framework 4.6 runtime and made corresponding changes to build scripts within the TwoPhaseCommit sample. Furthermore, the user revised build scripts, updated the .NET Core version of the project, and implemented new language features, including the 'break' and 'continue' statements. The user's contributions show a strong understanding of build processes and language internals, specifically focused on .NET integration.
model-checkingcoq-librarytlaformal-verificationcompiler
exists-forall/knot-optimization
Oct 2017 - Apr 2019
A UC Berkeley research project to generate 3D-printed models of topological knots
Contributions:88 commits, 61 pushes, 3 branches in 1 year 6 months
rustmathematicsoptimizationuc-berkeleyknots
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.