conf.researchr.org / Lisa Zhang
![Lisa Zhang](https://conf.researchr.org/getProfileImage/lisazhang/3a8c39bb-3137-442e-8a45-02a4d9ef6124/small.jpg?1711600064000)
Registered user since Wed 21 Aug 2019
Name:Lisa Zhang
Country:Canada
Affiliation:University of Toronto Mississauga
Personal website: http://lisazhang.ca
Research interests:minikanren, program synthesis, machine learning, computer science education
Contributions
2024
2023
2022
2021
miniKanren
- 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