-
-
Philippe Suter Defends his Doctoral Dissertation
26.01.13 - Dissertation entitled "Programming with Specifications" shows how to automated software development and produce more reliable software
-
Ruzica Piskac Awarded Patrick Denantes Memorial Prize
25.01.13 - Ruzica Piskac received Patrick Denantes memorial prize for her doctoral dissertation "Decision Procedures for Program Synthesis and Verification"
-
Eight Professors Appointed at EPFL
25.01.13 - The Board of the Swiss Federal Institutes of Technology announced on Friday, 28 September 2012 the appointment of eight new professors and internal promotions at EPFL.
-
-
Automated Software Synthesis.
25.01.13 - A new method to automatically generate computer software components that are guaranteed to behave correctly.