Welcome!

I am an Electrical & Computer Engineering PhD student at Purdue University. My research interests include formal methods, programming languages, and software security.

I received my M.Sc. at CMU under the supervision of Bryan Parno working on deductive verification of Rust programs (Verus) and proof engineering (ProofPlumber).

Before that, I received my B.Sc. in Mathematics and my B.Sc. in Computer Science and Engineering from Seoul National University.

Contact: cho706 at purdue dot edu

[GitHub] [Google Scholar]

Publications

  • Verus: A Practical Foundation for Systems Verification.
    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.
    ACM Symposium on Operating Systems Principles (SOSP), November, 2024.
    Distinguished Artifact Award.
    [pdf] [GitHub] [bibtex]

  • Crabtree: Rust API Test Synthesis Guided by Coverage and Type.
    Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, and Corina Pasareanu.
    ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October, 2024.
    [pdf] [bibtex]

  • A Framework for Debugging Automated Program Verification Proofs via Proof Actions
    Chanhee Cho, Yi Zhou, Jay Bosamiya, and Bryan Parno.
    International Conference on Computer Aided Verification (CAV), July, 2024.
    Distinguished Paper Award.
    [pdf] [GitHub] [bibtex]

  • Verus: Verifying Rust Programs using Linear Ghost Types
    Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel.
    ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October, 2023.
    [pdf] [GitHub] [bibtex]

Teaching

  • Object-Oriented Programming in C++, Teaching Assistant, Purdue University, Fall 2025.
  • Browser Security, Teaching Assistant, Carnegie Mellon University, Fall 2024.
  • Secure Software Systems, Teaching Assistant, Carnegie Mellon University, Spring 2024.
  • System Programming, Teaching Assistant, Seoul National University, Fall 2020.