skip to content

Department of Computer Science and Technology

  • 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/

 

Themes

Contact Details

Room: 
FS16
Office address: 
FS16
Email: 

hk590@cam.ac.uk