Jianlin Li
Research Assistant at University of Waterloo
Waterloo, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolJianlin Li is a Ph.D. student and research assistant in the Programming Languages Group at the University of Waterloo, with 12 years of software engineering experience focused on code-level verification, interactive theorem proving, and probabilistic programming. He designs and implements compilers and semantics for probabilistic programming languages, producing PLDI/POPL papers and systems (GENI, MAPPL, FIDELIO) that recover expert algorithms and enable certified, scalable inference. His work spans Rust, OCaml, Python/PyTorch, and formal methods (Coq/Agda/Lean), combining denotational models, type systems, CPS transforms, and symbolic methods to bridge theory and practical performance. Earlier research produced DEEPSYMBOL, a DNN verifier that achieved large speedups and fixed critical tooling bugs, and he has integrated static analysis with neuro-aware verification in collaboration with Saarland. Beyond papers and compilers, he teaches computer architecture, compilers, and logic, and his GitHub persona hints at a fondness for formal notation and playful curiosity about turnstiles. He brings a rare mix of formal proof expertise and systems-building pragmatism that makes probabilistic programming both provably correct and practically efficient.
12 years of coding experience
3 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Chinese Academy of SciencesUniversität des SaarlandesDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Waterloo
Github Skills (61)
bayesian9
density-estimation9
bayesian-inference8
probabilistic8
probabilistic-models8
probabilistic-programming8
probabilistic-graphical-models8
pytorch7
variational-inference7
machine-learning7
deep-learning7
python7
timetable6
dune6
numerical-analysis5
Programming languages (7)
Github contributions (5)
ljlin/rl.pyro
Dec 2021 - Jun 2022
Contributions:41 commits, 52 pushes in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.