News & Events
PhD student Idress Husien wins Best Paper award at SEFM 2016
Idress Husien, a PhD student from the Verification Group, won the best paper award at the 14th International Conference on Software Engineering and Formal Methods (SEFM 2016). SEFM was held in Vienna as a part of Software Technologies: Applications and Foundations (STAF), a federation of leading conferences on software technologies. The full paper (co-authored with Sven Schewe), entitled "Program Generation Using Simulated Annealing and Model Checking" was selected from a range of 114 submissions and 25 accepted papers. It describes a technique for saying what your software is supposed to do, and then leaning back and letting the computer produce it -- guaranteed bug free!