Members
Membership of IFIP Working Group 2.4
Chairperson
Aarhus University
Aarhus, Denmark
Vice-Chairperson
University of Stuttgart
Stuttgart, Germany
Secretary
AdaCore
Lexington, MA, USA.
Members
Jonathan Aldrich, Carnegie Mellon University, Pittsburgh, PA, USA
Karim Ali, NYU Abu Dhabi, UAE
Uwe Assmann, Technische Universität Dresden, Dresden, Germany.
Jonathan Bell, Northeastern University, Boston, MA, USA.
Eric Bodden, Fraunhofer SIT & Technische Universität Darmstadt, Darmstadt, Germany.
David Broman, KTH Royal Institute of Technology, Kista, Sweden.
Stefan Brunthaler, Universität der Bundeswehr München, Germany
Cristian Cadar, Imperial College London, London, United Kingdom.
Satish Chandra, Google, Mountain View, CA, USA.
Bor-Yuh Evan Chang, University of Colorado Boulder, Boulder, CO, USA.
Maria Christakis, Vienna University of Technology, Vienna, Austria.
Jeff Foster, Tufts University, Medford, MA, USA.
Thomas Gschwind, IBM Research, Rüschlikon, Switzerland.
Matthias Hauswirth, University of Lugano, Lugano, Switzerland.
Jens Knoop, Vienna University of Technology, Vienna, Austria.
Phil Levy, Adobe Systems Inc., San Jose, CA, USA.
Welf M. Löwe, Linnaeus University, Växjö, Sweden.
Nenad Medvidović, University of Southern California, Los Angeles, CA, USA.
Anders Møller, Aarhus University, Aarhus, Denmark.
Sarah Nadi, University of Alberta, Alberta, Canada.
Jerzy R. Nawrocki, Poznan University of Technology, Poznan, Poland.
Alessandro Orso, Georgia Institute of Technology, Atlanta, GA, USA.
Alex Potanin, Australia National University, Canberra, Australia
Erhard Plödereder, Universität Stuttgart, Stuttgart, Germany.
Michael Pradel, University of Stuttgart, Stuttgart, Germany.
Christian W. Probst, Senior Consultant at RMTP IT-Beratung und Service GmbH.
Xavier Rival, INRIA Paris, ENS Paris, CNRS, Paris, France.
Abhik Roychoudhury, National University of Singapore, Singapore
Max Schäfer, GitHub, Oxford, United Kingdom.
S. Tucker Taft, AdaCore, Lexington, MA, USA.
Lin Tan, Purdue University, West Lafayette, IN, USA.
Frank Tip, Northeastern University, Boston, MA, USA. IFIP Fellow
Jurgen J Vinju, Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands.
Willem Visser, AWS and Stellenbosch University, Matieland, South Africa.
Jan Vitek, Northeastern University, Boston, MA, USA.
Bruce Watson, Stellenbosch University, Stellenbosch, South Africa.
Yingfei Xiong, Peking University, Beijing, China.
Andreas Zeller, Saarland University , Saarbrücken, Germany. ACM Fellow IFIP Fellow
Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, Halle, Germany.
Emeriti Members
Judith Bishop, Stellenbosch University, Cape Town, South Africa. IFIP Fellow
Lynn Robert Carter, Carnegie-Mellon University, Pittsburgh, PA, USA.
Reidar Conradi, Norwegian University of Science & Technology, Norway.
James R. Cordy, Queen's University, Canada.
Patrick Cousot, École Normale Supérieure, France. ACM Fellow
Michael Franz, University of California, Irvine, CA, USA. ACM Fellow IFIP Fellow
Peter Fritzson, Linköping University, Sweden.
Ivan Godard, USA.
Gerhard Goos*, Karlsruhe Institut für Technologie, Karlsruhe, Germany. IFIP Fellow
John Gough, Queensland University of Technology, Australia.
R.C. Holt*, University of Waterloo, Canada.
Martin E. Hopkins*, IBM T.J. Watson Research Laboratory, USA.
R. Nigel Horspool, University of Victoria, Canada.
Stefan Jähnichen, Technische Universität Berlin, Berlin, Germany.
Marc L. Joliat, Info Access (1988) Inc., Canada.
Katsuhiko Kakehi, Waseda University, Japan.
Uwe Kastens, Universität Paderborn, Germany.
Rudolf Landwehr*, Atos Information Technology GmbH, Germany.
Ondřej Lhoták, University of Waterloo, Waterloo, Ontario, Canada.
Ken J. MacGregor*, University of Cape Town, South Africa.
C. (Bob) Morgan, IBM (retired)., USA.
John R. Nestor, Persist Software, USA.
Joseph M. Newcomer, FlounderCraft Ltd., USA.
Arnd Poetzsch-Heffter, Technische Universität Kaiserslautern, Kaiserslautern, Germany.
Paul Rovner, retired, USA.
S.A. Schuman, University of Surrey, UK.
Mary Shaw, Carnegie-Mellon University, USA. ACM Fellow
S.D. Swierstra*, The Netherlands.
W.L. van der Poel*, Delft University of Technology, The Netherlands.
Jan van Katwijk, Delft University of Technology, The Netherlands.
William M. Waite, University of Colorado, Boulder, USA. IFIP Fellow
Peter Welch, University of Kent, United Kingdom.
Brian A Wichmann, retired, United Kingdom.
D.B. Wortman, University of Toronto, Canada.
W.A. Wulf*, University of Virginia, USA. ACM Fellow
* deceased
Previous Chairs of the Group
2018-2024 Phil Levy
2011-2018 Frank Tip
2008-2011 John Gough
2002-2008 Erhard Ploedereder
1996-2002 Judith Bishop
1990-1996 Uwe Kastens
1985-1990 Bill Waite
1981-1985 Gerhard Goos
1975-1981 Brian Wichman
1974-1975 Bill Wulf