Didier Plaindoux

Senior Software Engineer at Kaptngo

Toulouse, Occitania, France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Didier Plaindoux is a Senior Software Engineer and language designer with 13 years of professional experience and a PhD in computer science, based in Toulouse, France. He specializes in strongly typed functional, logic and object-oriented language design, compilers, and distributed systems, applying that expertise to multi-agent, cloud and grid computing architectures. As founder of Fungus and current senior engineer at Kaptngo, he architects scalable back-ends and seamless mobile clients, and has led R&D teams at Fujitsu on HPC, reactive programming and mobile agent frameworks. He has also guided adoption and development of LIGO for Tezos smart contracts and served as CTO for an energy-efficiency startup, reflecting a blend of research, product and operational leadership. Known for compulsive attention to type discipline and language theory, he brings deep systems thinking to practical implementations that prioritize usability and reliability.
code12 years of coding experience
job23 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.), Computer science, Doctor of Philosophy (Ph.D.), Computer science at Université Paul Sabatier Toulouse III
languagesEnglish, French, Spanish
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (114)

parser10
parser-combinators10
functor10
category-theory10
peg10
pattern10
recurring10
parsec10
comprehension10
matching10
ocaml10
pattern-matching10
functional-programming10
generalization10
url-scheme9

Programming languages (15)

JavaRustCoqScalaMakefileHTMLKotlinTypeScript

Github contributions (5)

github-logo-circle
Rust-Toulouse/CFP

Dec 2018 - May 2019

Contributions:33 commits, 29 pushes, 1 branch in 5 months
d-plaindoux/transept

Jan 2020 - Aug 2021

An OCaml modular and generalised parser combinator library.
Contributions:1 release, 60 commits, 6 PRs in 1 year 7 months
homotopy-type-theoryparser-combinatorocamlcombinatordune
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.
Request Free Trial
Didier Plaindoux - Senior Software Engineer at Kaptngo