[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

• Contact info
• Working schedule to browse. You can also import one in iCal format
• Short informal CV

Research

• Publications: papers and talks
• SoS Lunch Colloquium

Teaching

• Security in Organizations: for master students, Radboud University Nijmegen, Fall 2005. I serve as a teaching assistant.

Others

• Invitation to typical Dutch dessert, "vla" (coming soon)
• How to buy and eat cheese (coming soon)
• How to cook Japanese rice