Home

Most Recent Meeting

News

Jay Misra was awarded (jointly with Mani Chandy) the IEEE Harry H. Goode Memorial Awards for 2017, “on the basis of achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outstanding significance, or the accumulation of important contributions on theory or practice over an extended time period, the total of which represent an outstanding contribution”

Pamela Zave was awarded the IEEE Harland D. Mills Award for 2017, for “groundbreaking use of formal methods in the development of telecommunication software and for enduring contributions to software engineering theory”

Bertrand Meyer won the ACM Software System Award for 2006 for the development of the Eiffel. With this award, ACM honors “an institution or individual(s) recognized for developing a software system that has had a lasting influence”, see the ACM Awards Program. Here is the ACM press release [March 2007]