Dino: 2014 Royal Academy of Engineering Silver Medalist

Dino: 2014 Royal Academy of Engineering Silver Medalist

Many congratulations to Dino who has won one of the four annual Royal Academy of Engineering Silver Medals for the year. The awards recognise “an…

Read Article →
Postdoc on Semantics and Verification

Postdoc on Semantics and Verification

We have a new opening for a 16-month postdoctoral position in the area of semantics/logic-based software verification. This is part of the EPSRC-funded project “Program…

Read Article →