Reasoning Under Uncertainty in SMT Solving, Research, and Life

Lindsey Kuper

Appearing at PLMW@PLDI: Programming Language Mentoring Workshop