返回导师列表
HK

Hiroyuki Katsura

Research Associate · Department of Computer Science and Technology

University of Cambridge · United Kingdom
automated program verificationsoftware securityhigher-order programslogic-based verification

简介

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.

教育经历

  • Ph.D., University of Tokyo

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。