School of Electronic Engineering and Computer Science

news menu

Latest News


Gold Medals for Theory Research

The EECS Theory Group won six medals at the European Joint Conferences on Theory and Practice of Software (ETAPS). Michael Tautschnig won the gold medal for “best overall tool” in the verification competition with his work on CBMC, plus gold medals were won in the “Recursion” and “HeapManipulation” categories. The group presented four research papers: Klaus Draeger had a paper on probabilistic verification, Michael Tautschnig had a tool paper on verification of C code, Nikos Tzevelekos had a paper on game semantics and Paolo Masci with Paul Curzon had a paper on the verification of medical devices.

CATEGORY: Research Academic Achievements

Return to top