Pim Otte
PHD Candidate
Delft, South Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolPim Otte is a PhD candidate and software engineer with 14 years of experience bridging type theory, formal mathematics and practical backend engineering. Based in Delft, he researches the use of proof assistants in education while drawing on industry work improving secure, scalable systems—ranging from a microservice e‑commerce platform to government digital services. He is an active open-source contributor, notably to signal‑cli and the Syncany storage project, and has added formalized mathematics to Lean’s mathlib3, including multinomial-theorem developments. Pim combines teaching and mentorship—running masterclasses and supervising students—with hands-on backend refactors, API enhancements and database optimizations, reflecting a rare mix of pedagogical insight and production-grade engineering. An applied mathematician by training, he often connects rigorous formalism to real-world software problems, making formal methods approachable for engineers and educators alike.
14 years of coding experience
9 years of employment as a software developer
High School, High School at MendelcollegeMaster’s Degree Applied Mathematics, Master’s Degree Applied Mathematics at Delft University of Technology
English, Dutch
Github Skills (22)
formal-methods10
messaging10
back-end-development10
proofs10
proof10
signal10
java10
javas10
sql10
command-line10
theorem-proving10
leanback10
maths9
math9
mathematics9
Programming languages (17)
Github contributions (5)
syncany/syncany
Dec 2013 - Mar 2020
Syncany is a cloud storage and filesharing application with a focus on security and abstraction of storage.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 releases, 580 commits, 62 PRs in 6 years 4 months
Contributions summary:Pim primarily worked on the backend aspects of the Syncany project, focusing on improving code and adding new features. They made adjustments to database operations, including a SQL query simplification. In addition, the user added a means of including a set of features for the upload and delete operations. Furthermore, the user refactored code and fixed bugs.
filesharingsecuritycloudcloud-storagestorage
leanprover-community/mathlib3
Aug 2022 - Oct 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 reviews, 20 commits, 7 PRs in 2 months
Contributions summary:Pim primarily contributed to the `mathlib3` repository by adding definitions, lemmas, and theorems within the mathematical components library. Their work focused on the multinomial coefficient, including its definition, and relationships to other mathematical concepts. The user added several supporting lemmas for append, fill, and filter operations, as well as the multinomial theorem proof. This indicates a focus on expanding the library's capabilities for formal mathematics.
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.