Chase Norman (Preferred)
Chase Norman
PhD student, Computer Science Department, Carnegie Mellon University
Joined
July 2025
Names
Emails
****@cmu.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science Department, Carnegie Mellon University (cmu.edu)
2023 – 2028
Undergrad student
Computer Science, University of California, Berkeley (berkeley.edu)
2019 – 2023
Advisors, Relations & Conflicts
Coauthor
Saam Zahedian
2023 – 2024
Coauthor
Yatin A. Manerkar
2022 – 2023
Coauthor
Laura Kovács
2022 – 2023
Expertise
Automated Reasoning
2023 – 2028
Interactive Theorem Proving
2023 – 2028
Dependent Type Theory
2023 – 2028
Formal Methods
2023 – 2028
Program Synthesis
2023 – 2028