Philippe Desjardins-proulx
Postdoctoral Researcher at Université de Montréal
Rimouski, Quebec, Canada
Summary
👤
Senior🎓
Top SchoolPhilippe Desjardins-proulx is a computational scientist and postdoctoral researcher at Université de Montréal with 14 years of experience bridging rich logic formalisms and probabilistic methods to tackle problems in AI and disease ecology. His Ph.D. work on automatic revision of ecological theories synthesizes first-order and type-theoretic logics with many-valued and probabilistic reasoning, and he now explores integrating higher-order/type theory with Bayesian probabilistic programming (Pyro, Anglican). A seasoned systems coder, he implements high-performance algorithms in C/C++ and Rust (CUDA experience since 2009) while exposing interfaces to Python, and has applied these skills to large-cluster simulations and ecological modeling. He also brings practical ML experience from standard methods to novel algorithms for learning fuzzy rules, plus domain expertise in speciation and food-web theory that informs his probabilistic models. Notably, he combines formal logic rigor with hands-on HPC engineering—a rare mix that helps translate theoretical AI advances into scalable, reproducible scientific software.
14 years of coding experience
Bachelor of Science (B.Sc.), Mathematics and Biology, Bachelor of Science (B.Sc.), Mathematics and Biology at Université du QuébecPostdoctoral Fellowship, Artificial Intelligence, Postdoctoral Fellowship, Artificial Intelligence at Université de MontréalGraduate certificate, Bioinformatics (specialization in machine learning & statistics), Graduate certificate, Bioinformatics (specialization in machine learning & statistics) at University of Illinois at ChicagoDoctor of Philosophy (Ph.D.), Machine Learning & Ecology, Doctor of Philosophy (Ph.D.), Machine Learning & Ecology at Université de SherbrookeStanford University
French, English
Github Skills (26)
google-benchmark10
javascript9
react9
project-template8
benchmark8
cpp7
cmake6
cross-platform5
calculus4
logic4
declarative-programming3
agda3
hugo3
testing3
polymorphism3
Programming languages (8)
Github contributions (5)
serginedesjardins/serginedesjardins.github.io
May 2015 - Dec 2024
Site web personnel.
Contributions:2 PRs, 48 pushes in 9 years 8 months
reactpersonnelweb-site
PhDP/cuda-cmake-gtest-gbench-starter
Jan 2017 - Jan 2023
Contributions:18 commits, 14 pushes, 2 branches in 6 years
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.