Chanhee Cho
Welcome!
I am a PhD student in Electrical & Computer Engineering at Carnegie Mellon University, advised by Limin Jia. My research interests are in computer security, formal methods, and programming languages.
Contact: chanheec at cmu dot edu
Office: CIC 2219G, 4720 Forbes Avenue, Pittsburgh, PA 15213
Publications
-
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, and Bryan Parno.
"Verus: A Practical Foundation for Systems Verification"
In submission. -
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina Pasareanu.
"Crabtree: Rust API Test Synthesis Guided by Coverage and Type"
In submission. -
Chanhee Cho, Yi Zhou, Jay Bosamiya, and Bryan Parno.
"A Framework for Debugging Automated Program Verification Proofs via Proof Actions"
International Conference on Computer Aided Verification (CAV), July, 2024.
[pdf] [GitHub] [bibtex] -
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel.
"Verus: Verifying Rust Programs using Linear Ghost Types"
ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October, 2023.
[pdf] [GitHub] [bibtex]
Education
-
Carnegie Mellon University
In Progress
Ph.D. in Electrical and Computer Engineering -
Carnegie Mellon University
May 2023
Master of Science in Electrical and Computer Engineering -
Seoul National University
Feb. 2021
Bachelor of Science in Mathematical Sciences
Bachelor of Science in Computer Science and Engineering
Summa Cum Laude
Teaching
-
Carnegie Mellon University
Teaching Assistant, Secure Software Systems, Spring 2024 -
Seoul National University
Teaching Assistant, System Programming, Fall 2020