In memory of Kohei Honda
Dr. Kohei Honda (1959–2012) is a pioneer in the field of mobile processes, types and logics.
Scribble v0.2, historical archive, Oct 2007.
Video tributes to Kohei
Presentations and Talks on Kohei’s work
- ETAPS 2013 Kohei tribute by Vasco Thudichum Vasconcelos
- The value of Kohei’s Games by Pasquale Malacaria and Nikos Tzevelekos
- Process Types and Games
- Pi-Calculus Course notes (handout)
- Process Structures (Lecture)
- Idioms for interaction
- POPL 2013
- PPL2013 Talk by Prof. Ueda
- JSSST 2013 by Prof. Ueda
The Kohei Honda Prize (QMUL)
This prize was instituted in 2013 at Queen Mary, University of London, and is awarded annually to one undergraduate student and one postgraduate student in recognition of their achievement in applying the highest quality scientific and engineering principles in the broad area of Distributed Systems.
