François Pessaux
Researcher Teacher at ENSTA Paris
Palaiseau, Ile-de-France
Summary
👤
Senior🎓
Top SchoolFrançois Pessaux is a researcher-teacher with 28 years of experience specializing in high-level compilation, static program analysis, typechecking and formal semantics, currently based at ENSTA Paris. He holds a PhD in static program analysis from Pierre and Marie Curie University and has blended academic research with industry engineering roles at MLState, Kalray and Surlog. François has a strong track record bridging deep theoretical foundations and practical tooling, from postdoctoral work at Bell Labs to leading R&D teams building software analysis tools. Outside of academia he applies his curiosity to embedded and Linux development (Palm, iTouch, GBA, NDS, Wii), robotics with Lego Mindstorms, and jazz piano, reflecting a hands-on, playful approach to problem solving.
27 years of coding experience
10 years of employment as a software developer
PhD, CS - Static Program Analysis, PhD, CS - Static Program Analysis at Pierre and Marie Curie University
English
Github Skills (18)
apl10
dub10
ocaml9
multicore9
dune9
gleam9
idris9
lwt9
ppx8
compiler8
opam8
logic6
agda5
tableau5
dependent-types4
Programming languages (1)
Github contributions (5)
pessaux-f/focalize
Nov 2012 - Jul 2016
Contributions:377 commits, 14 pushes, 4 branches in 3 years 8 months
pessaux-f/zelus-dynibex
May 2021 - May 2021
A synchronous language with ODEs
Contributions:3 pushes, 8 branches in 1 day
compilerodesprogramming-languageinterpretersynchronous
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.