![Dino: 2014 Royal Academy of Engineering Silver Medalist](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…
![Postdoc on Semantics and Verification](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…
![Theory group: 5 papers at ETAPS'14, including gold medal in TACAS Competition!](https://theory.eecs.qmul.ac.uk/wp-content/themes/oxygen/images/archive-thumbnail-placeholder.gif)
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…