Current Members

Ralph-Johan Back	Clark Barrett	Manfred Broy
Michael Butler	Ernie Cohen	Patrick Cousot
Brijesh Dongol	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

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

Deceased Members

Jean-Raymond Abrial (d. 2025)	Per Brinch Hansen (d. 2007)	Rod Burstall (d. 2025)
Thomas E. Cheatham Jr (d. 2001)	William R. Cook (d. 2021)	Ole-Johan Dahl (d. 2002)
Edsger W. Dijkstra (d. 2002)	Fraser Duncan (d. )	Tony Hoare (d. 2026)
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)	Niklaus Wirth (d. 2024)	Mike Woodger (d. 2025)
Jan L.A. van de Snepscheut (d. 1994)