The Kohei Honda Prize for Distributed Systems Queen Mary, University of London
Posted with permission from QMUL on 17th Dec 2013. Original article written by Edmund Robinson. Featured in Bulletin of EATCS: [1]
This prize was instituted in 2013 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. This is the area in which Dr Honda concentrated most of his teaching, and it is also the area in which he conducted his research. Its primary funding comes from a donation from his family, who wished to commemorate Dr Honda in this way. Additional funding has come from Dr Honda’s own ETAPS Award. This prize is sponsored by Springer Verlag, and awarded annually by the ETAPS committee in recognition of an individual’s research contribution. Dr Honda received the first such award posthumously, and the awarding panel expressed a wish that the funding be used to supplement this prize fund. The laudation for this award, written by Dr Honda’s colleague, Prof Vladimiro Sassone is included later.
About Dr Honda
Kohei Honda was born and lived the first part of his life in Japan. Like many scientists he was fascinated by the idea of finding basic explanatory theories, like the physicists looking for grand unified theories of the universe. Kohei, though, was passionately interested in finding the right basic explanatory theory for the process of computation. Most academics agree that the basic theory of the foundations of computation, set out by Church and Turing in the 1930’s, is fine for simple computations on a single computer, but does not really account for processes of computation spread across a number of locations, as our modern web-based, cloud-based computation now is. (Ananalogy is the physicists recognition that their theories account for electrical and atomic forces, but not gravity). Kohei believed he had found this in the theory of process calculi being developed by a number of researchers, and, in particular, in Robin Milner’s pi-calculus.
Very early on in his career, Kohei developed a form of this calculus adapted to asynchronous communications (communications where delivering a message can take time, and where the system may never be in a perfect state where the sender has just successfully sent a message and the receiver has just successfully received it).
Kohei came to the UK to develop his work, spending time in Manchester and Edinburgh, before eventually settling in London at Queen Mary. Working with his partner, Nobuko Yoshida, he produced a stream of work which was at first theoretical. Powerful results showed that the pi-calculus was expressive enough to account for many forms of computation through the use of restrictions on the communications allowed. The key point here is not that the calculus is powerful enough to mimic the various systems (that is easy), but that the restrictions can be made strong enough to rule out things that are not computable in the system being studied.
This work gave Kohei great insight into the way the structure of communication between different processors could be used to restrict the calculations they performed. He went on to apply this in work on web services choreography with the World Wide Web Consortium (finding means of specifying how different web services could be gluedtogether in safe ways). This was followed by the development of a specification language: Scribble. His goal was to enable system developers to ensure that the components of their systems (which might be distributed all over the world and even beyond) were behaving in a safe and controlled way. That goal is one which goes to the heart of our modern use of computers as they enter into all aspects of our lives, and yet are controlled remotely over the internet.
At the time of Kohei’s tragic death, his ideas were really taking off, and they are now being developed through a major project based at Imperial, where his wife continues to work, and Edinburgh, where he himself spent a period in his youth. This, however, was only one part of Kohei’s work at Queen Mary. He was also a dedicated teacher. He was fully aware of the need to assist students to gain practical skills, and at the same time had amazing skill in boiling down an issue to its essentials. He spent a good deal of time working with, helping and guiding individual students. He regarded training the next generation as one of the key duties and also benefits of being an academic.
His post as Reader is an unusual one. It is our recognition that Kohei had a brilliant mind. But he was interested in science and teaching, not in administration or running a department as full Professors have to. Kohei’s readership harks back to earlier times where it was the post for brilliant academics who were not administrators. It is the post that Alan Turing held at Manchester, and the comparison is not inappropriate.
Winners 2013
2013 winner (Undergraduate) source: QMUL
2013 winner (Postgraduate) source: QMUL
Winners 2014
Winners 2015
Featured in Bulletin of the EATCS: [2].
Winners 2025
James Edward Morel has been awarded the Kohei Honda Prize for Excellence in Distributed Systems, which recognises a final-year undergraduate who demonstrates outstanding scientific and engineering achievement through academic and project work. His final-year project was supervised by Professor Paulo Oliva.