Jun
rui
Liu
Home
Research
Teaching
Misc
Blog
Jul 12, 2026
Logic as Minecraft (Part 1)
Jan 1, 2026
Redesigning the TA training course for UCSB CS
Sep 25, 2025
Running a workshop on leading computer-based labs
Jun 11, 2022
Solver-aided chorale composition
#Logic
#Music
#Teaching