- I’m working on probabilistic programming with dependently typed λ-calculi, the hope is to combine Bayesian probabilistic reasoning with mathematical reasoning.
- I ♥ programming, especially with functional languages (Haskell, Lean, Agda) or languages for high-performance (Rust, Cuda, C, modern C++).
- Current position: post-doctoral researcher at the Université de Montréal's Poisot lab.
- The best way to reach me is via email (but be patient, I don't check my emails every day): philippe.desjardins.proulx@umontreal.ca.
-
Notifications
You must be signed in to change notification settings - Fork 0
PhDP/PhDP
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published