Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Michael Kohlhase

Adresse Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Martensstraße 3
91058 Erlangen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Venia legendi: Informatik (Heisenberg-Stipendien)
  - Ontology-Driven Management of Change (Sachbeihilfen)
  - Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung (Sachbeihilfen)
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation (Sachbeihilfen)
  - Formal Methods and Semantic Technologies for Engineering Design Processes (Sachbeihilfen)
  - OAF: Ein Offenes Archiv für Formalisierungen (Sachbeihilfen)
  - ALMANAC: Argumentationslogik-Manager & Argumentkontext-Graph (Schwerpunktprogramme)
Als Teilprojektleiter
- abgeschlossene Projekte
  - OMEGA, ein mathematisches Assistenzsystem (Sonderforschungsbereiche)
  - AGINT: Ressourcenadaptive kognitive Agenten in zwei Szenarien (Sonderforschungsbereiche)
Als Beteiligte Person
- laufende Projekte
  - MaRDI - Mathematische Forschungsdateninitiative (Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien)
- abgeschlossene Projekte
  - Gleichheitsbeweisen höherer Stufe (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz