Cruise Song (Preferred)
Cruise Song
PhD student, School of Computer Science, Georgia Institute of Technology
Joined
September 2025
Names
Emails
****@gatech.edu (Confirmed)
****@umich.edu
Personal Links
Career & Education History
PhD student
School of Computer Science, Georgia Institute of Technology (gatech.edu)
2024 – 2029
Undergrad student
Mathematics and Computer Science, University of Michigan - Ann Arbor (umich.edu)
2021 – 2024
Advisors, Relations & Conflicts
Expertise
Interactive Theorem Proving
Present
Formalized Mathematics
Present
Automated Reasoning
Present
Formal Methods
Present