About
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.
0Publications listed
Find Travis Hance elsewhere
Related Searches
You Might Also Like
Peter MüllerNational and Kapodistrian University of Athens · Professor- AAleksandar NanevskiIMDEA Software Institute · Research Professor
Bernardo ToninhoInria · Assistant Professor- AAleks NanevskiIMDEA Software Institute · Research Professor
Stephanie BalzerInria · Assistant Professor
Limin JiaInria · Research Professor