IFIP Working Group 2.3
Programming Methodology

Home
News and Honors
Meetings
Members
Links

Members

Ralph-Johan Back Robert Balzer Manfred Broy Michael Butler (vice chair) Ernie Cohen (ecohen@microsoft.com) Patrick Cousot John R. Harrison Ian Hayes Eric C. R. Hehner Peter Henderson Tony Hoare

Jim Horning Daniel Jackson   Michael Jackson Cliff Jones Shriram Krishnamurthi Butler W. Lampson Gary T. Leavens K. Rustan M. Leino (secretary) M. Douglas McIlroy Annabelle McIver  Bertrand Meyer

Jayadev Misra Carroll Morgan Peter Müller Greg Nelson Benjamin C. Pierce J. R. Rao John C. Reynolds Natarajan Shankar Michel Sintzoff Mark Utting Pamela Zave (chair)

Members emeriti

Jean-Raymond Abrial Dines Bjørner Rod Burstall John Buxton David Gries John Guttag M. M. Lehman Bill McKeeman

Ken McMillan Eduard Z. Lyubimsky George H. Mealy Peter Naur Susan Owicki David Lorge Parnas George Radin Brian Randell

Fred B. Schneider Warren Teitelman Władysław Turski Joakim von Wright Niklaus Wirth Mike Woodger

Deceased members and members emeriti

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

Fraser Duncan Svyatoslav Sergeevich Lavrov Douglas T. Ross (d. 2007)

Christopher Strachey Jan L. A. van de Snepscheut (d. 1994)