Basile Pesin
Associate Professor
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolBasile Pesin is an Associate Professor and former postdoc with nine years of experience at the intersection of embedded systems and formal methods, now based in Toulouse. He holds a PhD from École normale supérieure and blends rigorous academic research with hands-on software development, contributing to open-source projects ranging from the p5.js web editor to the Carp programming language. Basile’s work spans full-stack improvements for accessible creative coding tools and low-level language tooling for real-time, GC-free systems, reflecting a comfort across UI, backend, and systems-level code. Known for experimenting broadly (and learning from failed attempts), he brings a pragmatic curiosity to teaching and research, turning theoretical insights into practical tools and reproducible systems.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ecole normale supérieureMaster's degree, Computer Science, Master's degree, Computer Science at Sorbonne UniversitéBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Pierre and Marie Curie University
Github Skills (26)
git10
static-typing10
typesc10
javascript10
css10
typescript10
type-system10
language-design10
front-end-development10
html10
functional-programming10
react10
lisp10
user-interface9
lambda-calculus9
Programming languages (14)
Github contributions (5)
processing/p5.js-web-editor
Oct 2018 - Nov 2018
The p5.js Editor is a website for creating p5.js sketches, with a focus on making coding accessible and inclusive for artists, designers, educators, beginners, and anyone else! You can create, share, or remix p5.js sketches without needing to download or configure anything.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:11 commits, 4 PRs, 40 comments in 1 month
Contributions summary:Basile primarily contributed to the p5.js Web Editor by implementing various features and fixing bugs across both the frontend and backend. Their work included modifying the build configuration for handling image and font assets, and updating the frontend to display the correct logo. They also redesigned components like the Share window and Preview header, improved UI/UX elements and added API key functionality. These changes demonstrate a focus on improving the editor's functionality and user experience.
web-editorlaunchedjs-webjavascriptp5-js
carp-lang/Carp
May 2020 - Jun 2020
A statically typed lisp, without a GC, for real-time applications.
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 commits, 10 PRs, 22 comments in 25 days
Contributions summary:Basile contributed significantly to the Carp language project, focusing on core language features and utilities. They refactored and separated type utilities into dedicated files, `SymPath.hs` and `TypesToC.hs`, which involved defining data structures and functions for handling symbolic paths and type conversions to C. The user also addressed and fixed issues related to lambda capture within nested functions and let bindings. Furthermore, they added GLFW constants for the project.
gamesfunctional-programminggamedevstatically-typedgame-development
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.