- Research Staff
I'm a Research Associate at University of Cambridge, working with Prof. Peter Sewell in the REMS group. I completed my PhD at the University of Tokyo under the supervision of Prof. Naoki Kobayashi, where I focused on logic-based automated verification for higher-order programs. My primary research interests lie in automated program verification and software security techniques.
My private website: https://hkatsura.net/