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…
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…