Philip Wood
Lecturer, Research Scientist at Harvard University
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolPhilip Wood is a mathematician-turned-research scientist and lecturer based in Cambridge, MA, with a decade-plus academic track record and three years in his current Harvard role. He combines deep theoretical training (PhD Rutgers; Part III at Cambridge) with hands-on teaching and research experience from institutions including Berkeley, Wisconsin–Madison, and Stanford. His work spans advanced mathematical research and computational topics informed by a Diploma in Computer Science, positioning him to bridge rigorous theory and practical computation. Philip is comfortable mentoring students and leading courses while sustaining an active research agenda in competitive academic environments. Notably, his career reflects a steady progression from NSF postdoctoral fellowships to senior academic appointments, signaling both research productivity and pedagogical commitment.
3 years of coding experience
8 years of employment as a software developer
PhD, Mathematics, PhD, Mathematics at Rutgers University-New BrunswickDiploma in Computer Science and Part III of Math Tripos, Mathematics and Computer Science, Diploma in Computer Science and Part III of Math Tripos, Mathematics and Computer Science at University of CambridgeAB, Mathematics, AB, Mathematics at Harvard University
Github Skills (8)
formal-methods8
mathematical8
mathematics7
theorem-proving7
javascript6
hosts5
math5
infrastructure3
Programming languages (2)
Github contributions (3)
philmwood/leanprover-community.github.io
Nov 2023 - Nov 2023
Hosts the website for mathlib and other Lean community infrastructure.
Contributions:1 push in 1 day
leanprover-community/mathlib3
Jul 2022 - Jul 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Contributions:10 pushes in 3 days
maththeorem-provingcomponents-librarymathematicsjavascript
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.