Lisa Zhang -

Registered user since Wed 21 Aug 2019

Name:Lisa Zhang

Country:Canada

Affiliation:University of Toronto Mississauga

Research interests:minikanren, program synthesis, machine learning, computer science education

Contributions

miniKanren 2021	Session Chair of Morning Keynote (part of miniKanren 2021) Author of Universal Quantification and Implication in miniKanren within the miniKanren 2021-track Author of Relational Floating-Point Arithmetic within the miniKanren 2021-track Co-chair in Organizing Committee within the miniKanren 2021-track
miniKanren 2020	Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track
miniKanren 2019	Author of First-order miniKanren representation: Great for tooling and search within the miniKanren 2019-track Session Chair of Session 2 (part of miniKanren 2019)