- 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].
🏠
Working from home
Postdoctoral researcher at the Université de Montréal focusing on probabilistic programming with typed lambda calculi. Ph.D. (Sherbrooke U)
-
Université de Montréal
- Quebec, Canada.
- https://phdp.github.io/
- @LambdaPhDP
Popular repositories Loading
-
cuda-cmake-gtest-gbench-starter
cuda-cmake-gtest-gbench-starter PublicA cross-platform CUDA/C++17 starter project with google test and google benchmark support.
-
cmake-gtest-gbench-starter
cmake-gtest-gbench-starter PublicA cross-platform C++11/14/17 starter project with google test and google benchmark support.
461 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More