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

Detailseite

Person

Druckansicht

Professor Dr.-Ing. Franz Baader

Adresse Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
01062 Dresden

Projekte

Als Antragsteller
- abgeschlossene Projekte
Als Sprecher
- abgeschlossene Projekte
  - GRK 1763: Quantitative Logiken und Automaten (Graduiertenkollegs)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken (Graduiertenkollegs)
  - EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden (Exzellenzcluster)
  - GRK 1907: RoSI: Rollenbasierte Software-Infrastrukturen für durchgängig-kontextsensitive Systeme (Graduiertenkollegs)
Als Teilprojektleiter
- laufende Projekte
  - Beschreibungslogische Erklärungen (Transregios)
  - Interaktive Exploration visueller Modelle (Transregios)
- abgeschlossene Projekte
  - Semantische Technologien zur Kontexterkennung (Sonderforschungsbereiche)
Als Beteiligte Person
- abgeschlossene Projekte
  - Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz