Bowen Zhu
Research Assistant at MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolBowen Zhu is a research-focused software engineer and PhD student at MIT with five years of experience building and hardening numerical and symbolic computation tools. Currently a Research Assistant at CSAIL, he brings hands-on expertise from prior research roles at MIT EECS and The Rowland Institute, combining academic rigor with practical engineering. Bowen has contributed backend fixes and robust testing to the notable JuliaSymbolics/Symbolics.jl project, demonstrating deep understanding of symbolic data structures, type systems, and edge-case handling like negative exponents. His background spanning TU Delft and MIT positions him at the intersection of applied mathematics and software, able to translate formal algorithms into reliable, production-ready code. Colleagues find him detail-oriented and effective at turning subtle bug reports into durable design improvements.
5 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at Massachusetts Institute of TechnologyBachelor of Science - BSc, Bachelor of Science - BSc at TU Delft
Github Skills (9)
mathematics10
symbolic-computation10
cas10
computer-algebra10
math10
julia10
computer-algebra-system10
unit-test9
high-performance8
Programming languages (7)
Github contributions (5)
JuliaSymbolics/Symbolics.jl
Jul 2022 - Oct 2022
Symbolic programming for the next generation of numerical software
Role in this project:
Back-end Developer / Software Engineer
Back-end Developer / Software EngineerContributions:25 reviews, 58 commits, 27 PRs in 3 months
Contributions summary:Bowen's contributions primarily focused on fixing bugs and improving the `semipoly.jl` source code within the `symbolics.jl` repository. They addressed type errors, corrected function signatures, and fixed issues related to the handling of negative exponents and constants. They also added new tests for `SemiMonomial` constructors and operations. The user demonstrates an understanding of symbolic computation and the underlying data structures and algorithms.
symbolic-computationsymbolic-computingcomputer-algebra-systemmathematicssql
bowenszhu/MOPS.jl
Sep 2022 - Dec 2022
Contributions:27 commits, 13 PRs, 32 pushes in 2 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.