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@isabelle.in.tum.de - if you want to be added to the map. Please send your name, location, probably a web URL and a - Google Maps URL.
- -