add probabilistic programming section to research page#9

markus7800 wants to merge 1 commit intomasteripa-lab/ipa-lab.github.io:masterfrom

probprog-researchipa-lab/ipa-lab.github.io:probprog-researchCopy head branch name to clipboard