Kenta Cho is a PhD student at the Institute for Computing and Information Sciences at Radboud University in Nijmegen. His PhD supervisor is Bart Jacobs. He holds bachelor's and master's degrees in computer science from the University of Tokyo. His research interests include logic, semantics, and category theory for quantum computation and information.