Language Based Verification Tools for Functional Programs

• Andreas Martin Abel (Chalmers UT – Göteborg, SE) [dblp]
• Amal Ahmed (Northeastern University – Boston, US) [dblp]
• Andrew W. Appel (Princeton University, US) [dblp]
• Lennart Augustsson (Standard Chartered Bank – London, GB) [dblp]
• Edwin Brady (University of St. Andrews, GB) [dblp]
• Iavor Diatchki (Galois – Portland, US) [dblp]
• Richard A. Eisenberg (University of Pennsylvania – Philadelphia, US) [dblp]
• Jean-Christophe Filliâtre (CNRS & University Paris Sud, FR) [dblp]
• Cormac Flanagan (University of California – Santa Cruz, US) [dblp]
• Marco Gaboardi (SUNY – Buffalo, US) [dblp]
• Deepak Garg (MPI-SWS – Saarbrücken, DE) [dblp]
• Michael Greenberg (Pomona College – Claremont, US) [dblp]
• Reiner Hähnle (TU Darmstadt, DE) [dblp]
• Catalin Hritcu (INRIA – Paris, FR) [dblp]
• Suresh Jagannathan (Purdue University – West Lafayette, US) [dblp]
• Ranjit Jhala (University of California – San Diego, US) [dblp]
• Gowtham Kaki (Purdue University – West Lafayette, US) [dblp]
• Gabriele Keller (UNSW – Sydney, AU) [dblp]
• Naoki Kobayashi (University of Tokyo, JP) [dblp]
• Ekaterina Komendantskaya (University of Dundee, GB) [dblp]
• Martin Lange (Universität Kassel, DE) [dblp]
• K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
• Conor McBride (University of Strathclyde – Glasgow, GB) [dblp]
• Jan Midtgaard (Technical University of Denmark – Lyngby, DK) [dblp]
• Chih-Hao Luke Ong (University of Oxford, GB) [dblp]
• Dominic Orchard (University of Cambridge, GB) [dblp]
• Brigitte Pientka (McGill University – Montreal, CA) [dblp]
• Ruzica Piskac (Yale University, US) [dblp]
• Nadia Polikarpova (MIT – Cambridge, US) [dblp]
• Scott Smith (Johns Hopkins University – Baltimore, US) [dblp]
• Matthieu Sozeau (University Paris-Diderot, FR) [dblp]
• Wouter Swierstra (Utrecht University, NL) [dblp]
• Tachio Terauchi (JAIST – Ishikawa, JP) [dblp]
• Sam Tobin-Hochstadt (Indiana University – Bloomington, US) [dblp]
• Hiroshi Unno (University of Tsukuba, JP) [dblp]
• David Van Horn (University of Maryland – College Park, US) [dblp]
• Niki Vazou (University of California – San Diego, US) [dblp]
• Stephanie Weirich (University of Pennsylvania – Philadelphia, US) [dblp]
• Nobuko Yoshida (Imperial College London, GB) [dblp]

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