Sebastian De Bellefon
Senior Python Developer at Power Factors
Montreal, Quebec, Canada
Summary
👤
Senior🎓
Top SchoolSebastian De Bellefon is a Senior Python Developer based in Montreal with 11 years of experience bridging electrical engineering, bioinformatics and software to build robust systems for energy and scientific domains. He has led development of virtual power plant software and real-time grid optimization at Enbala and now focuses on sustainable energy systems at Power Factors, combining backend engineering with data analytics. His work spans languages and stacks—from production Python and Rust to Elixir and Haskell—and includes low-level embedded IoT and large-scale genomics analyses, reflecting a rare cross-disciplinary fluency. An active contributor to the Idris dependently typed language, he brings rigor to core language and testing improvements, underscoring a taste for correctness and performance. He excels at clarifying complex systems, finding and communicating relevant literature, and turning broken processes into reliable, maintainable software.
11 years of coding experience
12 years of employment as a software developer
Ingénieur, Micro-électronique, Ingénieur, Micro-électronique at Institut supérieur d'Electronique de ParisMaster's degree, Bioinformatics, Master's degree, Bioinformatics at Université de Montréal
English, French, Spanish
Github Skills (10)
rep10
functional-programming10
idris10
repr10
testing9
hashing-algorithm8
algorithms8
data-structures8
algorithm8
data-structure8
Programming languages (10)
Github contributions (5)
idris-lang/Idris-dev
Sep 2014 - Oct 2014
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits in 21 days
Contributions summary:Sebastian primarily contributed to the Idris language's core functionality and testing. They implemented features like preventing the REPL from compiling to source files, and added a benchmark for pidigits, showcasing improvements to memory usage. The user also extended the REPL with the ability to run on a specific port, enhancing its usability and added new tests. Furthermore, the user implemented data structures and functions within the `Data.Hash` library and made it total.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
Helkafen/dnamotifs
May 2019 - Jul 2019
Contributions:102 commits, 30 pushes, 1 branch 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.