π-calculus, Session Types research at Imperial College

In memory of Kohei Honda

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

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.

Read more