Isabelle World Map
It seems that your browser is not supported by Google Maps; note you have to turn on JavaScript.
Here follows a text-only overview:
Technische Universität München
Chair for Logic and Verification, headed by Tobias Nipkow.
University of Cambridge
Larry Paulson, Tom Ridge et al.
University of Edinburgh
David Aspinall: Proof General, Lucas Dixon: IsaPlanner, Jacques Fleuriot: HOL-Hyperreal
University of Warwick
Sara Kalvala
University of Reading
Xiaoqi Ma
Universität Innsbruck
Computational Logic Group: René Thiemann
Galois Inc.
Oborniki Śląskie, Poland
Slawomir Kolodynski: IsarMathLib
University of Chicago
Dave McQueen
University of Illinois, Urbana - Champaign
Elsa L. Gunter
Stetson University
Robert Lamar
Carnegie Mellon University
Massachusetts Institute of Technology
Viktor Kuncak: Jahob
Concordia University
Dependable Software Research Group: Patrice Chalin
Basque Country University
Paqui Lucio
Université Bordeaux
Pierre Castéran
ETH Zürich
Jürgen Doser: Model-Driven Security with Secure UML, Christoph Sprenger: Cryptographically Faithful Proofs of Security Protocols
SAP Research Karlsruhe
Achim D. Brucker: HOL-OCL, HOL-TestGen, HOL-Z, IsaMorph
Université Paris-Sud, Orsay
Burkhart Wolff: HOL-OCL, HOL-TestGen, HOL-Z, IsaMorph
TU Kaiserslautern
Graz University of Technology
Walther Neuper: ISAC
Albert-Ludwigs-Universität Freiburg
Harald Hiss
LORIA
Stephan Merz et al.
Institut für Informatik, Universität Münster
University of Bremen, DFKI Lab Bremen
Till Mossakowski: Heterogeneous Tool Set
Technical University of Denmark
Jørgen Villadsen
ANU, NICTA
NICTA, UNSW
Gerwin Klein et al.: L4.verified
IIT Guwahati
Kamal Kant Gupta
University of Tsukuba
Yasuhiko Minamide
Institute of Software, Beijing
Gang Yu: Formalizing Lambda-Calculus and Virtual Machine with Non-Local Control Operators
University of Nouakchott
Sidi O Ehmety
Saarland University
Wolfgang Paul et al.
Karlsruhe Institute of Technology
Lehrstuhl Programmierparadigmen (Andreas Lochbihler, Denis Lohner): CoreC++, Quis Custodiet
Khabarovsk State University of Technology
J. Dalinger, L. Petrova
Universidad de La Rioja
Jesús Aranzay
Security Engineering Group, Peshawar
Masoom Alam, Tamleek Ali, Muhammad Amin, Mohammad Nauman, Shahbaz Khan
University of Waikato
Steve Reeves, David Streader
Ivanovo
Michael Nedzelsky
Faculty of Mathematics, University of Belgrade
Predrag Janicic et al.
Kestrel Institute, Palo Alto
Alessandro Coglio
secunet Security Networks AG
Alexander Senier et al.
Context IT GmbH
Jens Doll
Inria / INSA Lyon
Japan Advanced Institute of Science and Technology
Contact {webmaster} AT [isabelle.in.tum.de] WITH (subject=Isabelle World Map) if you want to be added to the map. Please send your name, location, probably a web URL and a Google Maps URL.