Cruise Song
CS Ph.D. Student
Georgia Institute of Technology
csong326 (at) gatech.edu
Home
Blog
Projects
Blog
Logic and Computation: An Informal Introduction to Formal Verification
August 26, 2026
Powered by Jekyll and
Minimal Light
theme.
