- 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): [email protected].
phdp Goto Github PK
Name: Philippe Desjardins-Proulx
Type: User
Company: Université de Montréal
Bio: Postdoctoral researcher at the Université de Montréal focusing on probabilistic programming with typed lambda calculi. Ph.D. (Sherbrooke U)
Twitter: LambdaPhDP
Location: Quebec, Canada.
Blog: https://phdp.github.io/