Martin-Luther-Universität Halle-Wittenberg

Weiteres

Login für Redakteure

Forschungsthemen

Nachfolgend finden Sie eine Übersicht der Themen, zu denen die verschiedenen Arbeitsgruppen des Instituts forschen.

Automatisierungstechnik

Modellbildung ereignisdiskreter und hybrider Systeme, Formale Synthese von Steuerungen, Steuerung von Produktionssystemen, Verteilte Steuerungen, Verifikation

[ mehr ... ]

Bioinformatik

Sequenz-, ChIP-chip- und Expressionsdatenanalyse, Maschinelles Lernen,
Bayessche Statistik

[ mehr ... ]

Bioinformatik und Mustererkennung

Bildverarbeitung mit Fokus auf Registrierung, Segmentierung, Matching und Tracking in Anwendungen der Lebenswissenschaften und Mensch-Machine-Interfaces.
Statistische Ansätze zur Modellierung und Vorhersage von DNA-Signalen.

[ mehr ... ]

Computational Humanities

Digitale Arbeitsumgebungen für Geisteswissenschaftler(innen), Semi-automatische Differenzanalyse, Visualisierung von Korrespondenznetzen, Netzwerkanalyse

[ mehr ... ]

Computergrafik

algebraische Flächen, Echtzeit "ray tracing", GPU-Programming, "scientific visualization", virtuelle Realität

[ mehr ... ]

Datenbanken und Informationssysteme

Deduktive Datenbanken,  Nichtmonotones Schließen, Logische und Funktionale Programmierung, Analyse von SQL-Anfragen, Data- und Text-Mining, Fraktale Datenanalyse, Web- und Dokumentsuche

[ mehr ... ]

Datenstrukturen und Effiziente Algorithmen

Algorithm Engineering, Graphenalgorithmen, kombinatorische Optimierung, parallele Algorithmen, Optimierung im öffentlichen Verkehr, GIS, GPU-Programmierung, Netzwerkanalyse

[ mehr ... ]

Rechnerarchitektur und Hardwaretechnik

IT-Sicherheit, Hardwareverifikation, kombinatorische Optimierung im Rahmen des Schaltungsentwurfs, Korrektheit von Leitwerken bei der Bahn, Informatik in den Geisteswissenschaften

[ mehr ... ]

Software-Engineering und Programmiersprachen

Domänenspezifische Sprachen, Modellbasierte Codegenerierung, Compilerbau, Cloud Computing, Service-Orientierte Architekturen, Übersetzer und modellbasierte Codegeneratoren (insbesondere Verifikation), Verifikation und Validierung von Komponententsystemen und service-orientierten Architekturen

[ mehr ... ]

Theoretische Informatik

Automaten auf unendlichen Objekten, Algorithmische Informationstheorie, Formale Sprachen und Fraktale

[ mehr ... ]

Zum Seitenanfang