Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Michael Kohlhase

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

Projects

As Applicant
- Completed projects
  - Venia legendi: Informatik (Heisenberg Fellowships)
  - Ontology-Driven Management of Change (Research Grants)
  - Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics and software engineering (Research Grants)
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation (Research Grants)
  - Formal Methods and Semantic Technologies for Engineering Design Processes (Research Grants)
  - OAF: An Open Archive of Formalizations (Research Grants)
  - ALMANAC: Argumentation Logics Manager & Argument Context Graph (Priority Programmes)
As Project Head
- Completed projects
  - OMEGA, ein mathematisches Assistenzsystem (Collaborative Research Centres)
  - AGINT: Ressourcenadaptive kognitive Agenten in zwei Szenarien (Collaborative Research Centres)
As Participating Person
- Current projects
  - MaRDI - Mathematical Research Data Initiative (NFDI technical and methodological consortia)
- Completed projects
  - Gleichheitsbeweisen höherer Stufe (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy