Die leitenden Forscher des CIRT

Künstliche Intelligenz, Wissens- und Prozessmanagement, Business Intelligence, Data Mining, Fallbasiertes Schließen

Evolution von Softwaresystemen, Visualisierung von Softwaretechnik

Algorithmentheorie, Formale Sprachen, Diskrete Mathematik

Requirements Engineering, Vorbereitung, Kalkulation und Management von Software Projekten, Internetbasierte Systeme

Datenbanksysteme, Information Retrieval, Digitale Bibliotheken

Arithmetische Algorithmen, Logik

Graphalgorithmen, Algorithmische Geometrie, Softwarevisualisierung

Datenbanken, Digitale Informationssysteme, Transaktionssysteme

(Dezentrale) Verteilte Syteme, Ubiquitous Computing, Neue Betriebssystemansätze

Intelligente Assistenzsysteme, autonome Softwaresysteme, diskrete und multiagentenbasierte (Sozial-)Simulation

Jun.-Prof. Dr. Benjamin Weyers
Human-Computer Interaction, Virtual Reality, Persuasive Systems, Formale Modellierung Interaktiver Systeme