Cruise Song

PhD student, School of Computer Science, Georgia Institute of Technology

  • Joined September 2025

Names

Cruise Song (Preferred)

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

PhD Advisor
2024 – 2029
 

Expertise

Interactive Theorem Proving
Present
 
Formalized Mathematics
Present
 
Automated Reasoning
Present
 
Formal Methods
Present