Current Members

Ralph-Johan Back	Clark Barrett	Manfred Broy
Michael Butler	Ernie Cohen	Patrick Cousot
Sophia Drossopoulou ( Vice Chair )	Azadeh Farzan	Alberto Griggio ( Secretary )
Ian Hayes	Peter Höfner	Daniel Jackson
Michael Jackson	Cliff Jones	Rajeev Joshi ( Chair )
Gerwin Klein	Gary T. Leavens	Rustan Leino
Annabelle McIver	Larissa Meinicke	Bertrand Meyer
Jayadev Misra	Carroll Morgan	Toby Murray
Peter Müller	David Pearce	Ruzica Piskac
Andreas Podelski	Natarajan Shankar	Serdar Tasiran
Emina Torlak	Mark Utting	Thomas Wies
Jim Woodcock	Pamela Zave

Past Members

Jean-Raymond Abrial	Fred B. Schneider	Robert Balzer
Dines Bjørner	Rod Burstall	John Buxton
Benjamin C. Pierce	Eric C. R. Hehner	M. Douglas McIlroy
David Gries	John Guttag	Peter Henderson
Tony Hoare	Shriram Krishnamurthi	David Lorge Parnas
Bill McKeeman	Ken McMillan	Susan Owicki
John R. Harrison	J. R. Rao	Brian Randell
Warren Teitelman	Butler W. Lampson	Niklaus Wirth
Mike Woodger	Joakim von Wright

Deceased Members

Per Brinch Hansen (d. 2007)	Thomas E. Cheatham Jr (d. 2001)	William R. Cook (d. 2021)
Ole-Johan Dahl (d. 2002)	Edsger W. Dijkstra (d. 2002)	Fraser Duncan (d. )
Jim Horning (d. 2013)	M. Lehman (d. 2011)	Eduard Z. Lyubimsky (d. 2008)
George H. Mealy (d. 2010)	Peter Naur (d. 2016)	Greg Nelson (d. 2015)
George Radin (d. 2013)	John C. Reynolds (d. 2013)	Douglas T. Ross (d. 2007)
Svyatoslav Sergeevich Lavrov (d. )	Michel Sintzoff (d. 2010)	Christopher Strachey (d. 1975)
Wladyslaw Turski (d. 2013)	Jan L.A. van de Snepscheut (d. 1994)