ICFP 2021
Sun 22 - Sat 28 August 2021
Lisa Zhang

Registered user since Wed 21 Aug 2019

Name:Lisa Zhang
Affiliation:University of Toronto Mississauga
Personal website:http://lisazhang.ca
Research interests:minikanren, program synthesis, machine learning, computer science education


miniKanren 2021 Session Chair of Morning Keynote (part of miniKanren 2021)
Universal Quantification and Implication in miniKanren
Relational Floating-Point Arithmetic
Co-chair in Organizing Committee within the miniKanren 2021-track
Show activities from other conferences

ICFP 2021-profile
View general profile