Concurrency verification research at Imperial bridges academic research and industry.

DoC postdoc Nicholas Ng, gave a talk at the Golang UK conference earlier in August on a research project to Go programming language developers.

The Go programming language was developed by Google to tackle multicore programming, and has built-in support for concurrency. The talk, titled 'Understanding concurrency with behavioural
types' describes a joint work with Julien Lange, Bernardo Toninho and Professor Nobuko Yoshida, which aims to apply formal concurrency models in practice to verify concurrent Go programs.

To the delight of the audiences, a live demo was shown at the end of the talk, to show the verification in action. It was the second year where Imperial was the sole academic representative at the Golang UK conference, bridging academic research with the developer community.

A video of the talk is available below: