Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Ichiro Hasuo
[go: Go Back, main page]

[Picture of Ichiro Hasuo]

[Chinese/Dutch/English/Japanese]

Ichiro Hasuo

PhD student
Security of Systems (SoS) group
Department of Computer Science
Radboud University Nijmegen, the Netherlands

and

Assistant professor (from May 2007)
Research Institute for Mathematical Sciences (RIMS)
Kyoto University, Japan

E-mail: ichiro[at]cs.ru.nl



I have a couple of personal research projects:

Category theory in computer science
In particular theory of coalgebras as "mathematics of systems". With Chris Heunen, Bart Jacobs, Ana Sokolova and Tarmo Uustalu.
Semantics of security protocols
Toward better understanding of the nature of security. With Flavio Garcia, Bart Jacobs, Yoshinobu Kawabe and Peter van Rossum.
Try all kinds of beer available at Albert Heijn
For me as an asian guy (with less capability of processing alcohol) this is definitely the most challenging project. With all the people from the group.

I am under the supervision of Prof.Dr. Bart Jacobs, whose invaluable advice and cheerful personality I really appreciate.


General

Research

Teaching

Others