Ruzica Piskac wins Patrick Denantes Prize

Ruzica Piskac, an MPI-SWS faculty member, has been awarded the 2012 Patrick Denantes Prize for her dissertation titled „Decision Procedures for Program Synthesis and Verification.“ The prize is awarded annually to the most outstanding master’s, doctoral or post-doctoral research project within the school of computer and communication sciences at EPFL.