The EECS Theory Group had a strong presence at ETAPS
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.