Program Equivalence

• Anindya Banerjee (NSF – Alexandria, US) [dblp]
• Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
• Nick Benton (Facebook – London, GB) [dblp]
• Dirk Beyer (LMU München, DE) [dblp]
• Soham Chakraborty (MPI-SWS – Kaiserslautern, DE) [dblp]
• Stefan Ciobaca (University AI. I. Cuza – Iasi, RO) [dblp]
• Constantin Enea (University Paris-Diderot, FR) [dblp]
• Grigory Fedyukovich (Princeton University, US) [dblp]
• Dan R. Ghica (University of Birmingham, GB) [dblp]
• Arie Gurfinkel (University of Waterloo, CA) [dblp]
• Guilhem Jaber (ENS – Lyon, FR) [dblp]
• Vasileios Koutavas (Trinity College Dublin, IE) [dblp]
• Steve Kremer (INRIA Nancy – Grand Est, FR) [dblp]
• Shuvendu K. Lahiri (Microsoft Research – Redmond, US) [dblp]
• James Laird (University of Bath, GB) [dblp]
• Xavier Leroy (INRIA – Paris, FR) [dblp]
• Yi Li (University of Toronto, CA) [dblp]
• Sergey Mechtaev (National University of Singapore, SG) [dblp]
• Andrzej Murawski (University of Oxford, GB) [dblp]
• Kedar Namjoshi (Nokia Bell Labs – Murray Hill, US) [dblp]
• David A. Naumann (Stevens Institute of Technology, US) [dblp]
• Julia Rubin (University of British Columbia – Vancouver, CA) [dblp]
• Philipp Rümmer (Uppsala University, SE) [dblp]
• Neha Rungta (Amazon.com, Inc. – Palo Alto, US) [dblp]
• Chaked Saydoff (Technion – Haifa, IL)
• Rahul Sharma (Microsoft Research India – Bangalore, IN) [dblp]
• Stephen Siegel (University of Delaware – Newark, US)
• Marcelo Sousa (University of Oxford, GB) [dblp]
• Ofer Strichman (Technion – Haifa, IL) [dblp]
• Aaron Tomb (Galois – Portland, US) [dblp]
• Nikos Tzevelekos (Queen Mary University of London, GB) [dblp]
• Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE) [dblp]
• Niels Voorneveld (University of Ljubljana, SI)

In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner