People/groups working on/with OMEGA

OMEGA is used as a research tool by research groups at:

Researchers

Prof. Dr. Jörg Siekmann, Saarland University
Serge Autexier, Saarland University (VSE)
Christoph Benzmüller, Saarland University (HO-ATP, OMEGA, KEIM)
Armin Fiedler (Proof-Presentation, OMEGA)
George Goguadze, Saarland University (OMDoc, ActiveMath)
Dr. Helmut Horacek, Saarland University (Proof-Presentation)
Mateja Jamnik The University of Birmingham, (Proof Planning, Diagrammatic Reasoning, Method Learning)
Paul Libbrecht, DFKI (MBase, ActiveMath)
Manfred Kerber, The University of Birmingham (Proof Planning, Representation, Method Learning)
Dr. Michael Kohlhase, Carnegie Mellon University (OMEGA, HO-ATP, KEIM, Theories, MBase, MathWeb)
Andreas Meier, Saarland University (Proof Planning, OMEGA, KEIM)
Dr. Erica Melis, DFKI (Proof Planning, Analogy, OMEGA, ActiveMath)
Volker Sorge, Saarland University (CAS, Proof Planning, OMEGA, KEIM)
Martin Pollet, Saarland University (Proof Planning, OMEGA, Representation)
Carsten Ullrich (Analogy, Proof Planning, ActiveMath)
the OMEGA Group (Proof Planning, Constraint Solving, OMEGA, MathWeb)