Hiroyuki Katsura

Research Associate · Department of Computer Science and Technology

University of Cambridge · United Kingdom

automated program verificationsoftware securityhigher-order programslogic-based verification

About

Research Associate at University of Cambridge, working with Prof. Peter Sewell in the REMS group. Completed PhD at University of Tokyo under Prof. Naoki Kobayashi, focusing on logic-based automated verification for higher-order programs. Primary research interests in automated program verification and software security techniques.

Education

Ph.D., University of Tokyo

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.