Welcome!

Chanhee

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

[dblp] [GitHub]

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