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 →
Theory group: 5 papers at ETAPS'14, including gold medal in TACAS Competition!

Theory group: 5 papers at ETAPS’14, including gold medal in TACAS Competition!

The theory group has 5 papers in the ETAPS conferences this year: Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine: Foundations for…

Read Article →