Ruanqianqian (Lisa) Huang
Projects
Publications
Teaching
CV
Fun
Ruanqianqian Huang
she/her/hers
Building programming tools for tomorrow.
Follow
La Jolla, CA
r6huang[at]ucsd[dot]edu
Twitter
Github
Google Scholar
Online Z3 Guide
Coming soon
Share on
Twitter
Facebook
LinkedIn
Previous
Next
