IFIP Working Group 2.3
Programming Methodology

Home
News and Honors
Meetings
Members
Links

Members

Ralph-Johan Back Robert Balzer Clark Barrett Manfred Broy Michael Butler (vice chair) Ernie Cohen (ecohen@microsoft.com) William R. Cook Patrick Cousot John R. Harrison Ian Hayes Peter Henderson

Tony Hoare Daniel Jackson   Michael Jackson Cliff Jones Rajeev Joshi (secretary) Shriram Krishnamurthi Butler W. Lampson Gary T. Leavens K. Rustan M. Leino  Annabelle McIver  Bertrand Meyer

Jayadev Misra Carroll Morgan Peter Müller Greg Nelson Andreas Podelski (member elect) Natarajan Shankar Serdar Tasiran (member elect) Mark Utting Jim Woodcock Pamela Zave (chair)

Members emeriti

Jean-Raymond Abrial Dines Bjørner Rod Burstall John Buxton David Gries John Guttag Eric C. R. Hehner M. Douglas McIlroy Bill McKeeman

Ken McMillan Peter Naur Susan Owicki David Lorge Parnas Benjamin C. Pierce George Radin Brian Randell

J. R. Rao Fred B. Schneider Warren Teitelman Wladyslaw Turski Joakim von Wright Niklaus Wirth Mike Woodger

Members deceased

Per Brinch Hansen (d. 2007) Thomas E. Cheatham, Jr. Ole-Johan Dahl (d. 2002) Edsger W. Dijkstra (d. 2002) Fraser Duncan

Jim Horning Svyatoslav Sergeevich Lavrov M. M. Lehman (d. 2011) Eduard Z. Lyubimsky (d. 2008) George H. Mealy (d. 2010)

John C. Reynolds (d. 2013) Douglas T. Ross (d. 2007) Michel Sintzoff (d. 2010) Christopher Strachey Jan L. A. van de Snepscheut (d. 1994)