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/

I work at the intersection of robotics, control theory and machine learning. My main goal is to develop distributed multi-robot decision-making systems where robots cooperate together to achieve desired collective behaviours.

More information at: https://eduardosebastianrodriguez.github.io/