Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Arbeitsgruppen in den Forschungsbereichen

Forschungsbereich „Software, Sicherheit und Verifikation“

  • Theorie der Datentypen (Padawitz, Lehrstuhl I)
  • Software Engineering für kritische Systeme (N.N., Lehrstuhl XIV)
  • Software Engineering mit dem Schwerpunkt Entwicklung evolutionsfähiger Software und Systeme (Rehof, Lehrstuhl XIV)
  • Programmiersysteme (Steffen, Lehrstuhl V)
  • Datenbanken und Informationssysteme (Teubner, Lehrstuhl VI)

Forschungsbereich „Verteilte und eingebettete Systeme“

  • Modellierung und Simulation (Buchholz, Lehrstuhl IV)
  • Design Automation for Embedded Systems (Chen, Lehrstuhl XII)
  • Rechnernetze und verteilte Systeme (Krumm, Lehrstuhl IV)
  • Eingebettete Systemsoftware (Spinczyk, Lehrstuhl XII)

Forschungbereich „Intelligente Systeme“

  • Mustererkennung in Eingebetteten Systemen (Fink, Lehrstuhl XII)
  • Dienstleistungsinformatik / Elektronische Services (Jannach, Lehrstuhl XIII)
  • Information Engineering (Kern-Isberner, Lehrstuhl I)
  • Data Mining (N.N., Lehrstuhl VIII)
  • Künstliche Intelligenz (Morik, Lehrstuhl VIII)
  • Graphische Systeme (Müller, Lehrstuhl VII)
  • Computational Intelligence (Rudolph, Lehrstuhl XI)

Forschungsbereich „Algorithmische und formale Grundlagen“

  • Algorithmische Grundlagen und Vermittlung der Informatik (Fischer, Lehrstuhl XI)
  • Algorithm Engineering (Mutzel, Lehrstuhl XI)
  • Logik in der Informatik (Schwentick, Lehrstuhl I)
  • Komplexitätstheorie und Effiziente Algorithmen (Sohler, Lehrstuhl II)

Kooptationen, Kooperationen und Hochschullehrer im Ruhestand

Nähere Informationen über Kooptationen, Kooperationen und Hochschullehrer im Ruhestand

erhalten Sie unter Lehrstühle und Kooptationen.



Nebeninhalt

Kontakt

Geschäftsführung Dekanat Informatik