Travis Hance

Travis Hance is affiliated with Carnegie Mellon University (United States) and actively contributes to research in formal verification, programming languages, and information flow control. His recent work includes papers at SPLASH 2023 (OOPSLA track) and SPLASH 2021, focusing on Rust program verification, separation logic, and secure programming frameworks.

Fields of Interest: Formal verification, separation logic, information flow control, linear ghost types, and Rust programming language research.

Recent publications explore modular verification techniques, temporary sharing in concurrent systems, and type-driven security enforcement. Travis has no listed scientific awards or students in the provided data.