GitHub - PhDP/PhDP

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].

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
README.md		README.md

Provide feedback