Domain-specific computing
Domain-Specific Computing ermöglicht die Spezialisierung von Hardware, Software und Laufzeitumgebungen Umgebungen, um die Effizienz von Computersystemen für bestimmte Anwendungen zu optimieren. Unsere Forschung auf diesem Gebiet umfasst die Entwicklung neuartiger Methoden zur Modellierung und zum automatisierten Entwurf von domänenspezifischen Systemen, deren Anwendung eingebettete Systeme, Netzwerkkomponenten und Hochleistungscomputerplattformen.
Ein wichtiger technologischer Schwerpunkt unserer Arbeit ist die Verwendung von Field-Programmable Gate Arrays (FPGAs). Aufgrund ihrer Aufgrund ihrer weiten kommerziellen Verfügbarkeit bieten FPGAs ein praktisches Mittel für das Prototyping flexibler, rekonfigurierbaren und anwendungsspezifischen Rechensystemen.
Ausgewählte Projekte
Quantum Computing
Unsere Quantenforschung befasst sich in erster Linie mit den theoretischen Grundlagen der Quanteninformatik, umfasst Bereiche wie Quantenalgorithmen, Quantenkomplexitätstheorie, Quantenkryptographie Kryptographie, Quantenfehlerkorrektur und Quanteninformationstheorie. Zu den Schlüsselbereichen unserer Forschung gehören unter anderem: Quantenverallgemeinerungen der Booleschen Erfüllbarkeit, Post-Quantum-Kryptographie auf der Basis von Gitterproblemen, die Charakterisierung von
Körperverschränkung und die theoretische Modellierung von photonischen Quantensystemen.
Ausgewählte Projekte
Data Science
Der Forschungsbereich Data Science bündelt unsere Expertise in maschinellem Lernen, Optimierung und Wissensdarstellung, um
(i) die Grundlagen für neue intelligente Lösungen zu schaffen und
(ii) praktische Implementierungen für reale Probleme zu entwickeln.
Neben der Bewältigung Herausforderungen konzentriert sich das Forschungsteam auf ganzheitliche Lösungen, die den gesamten Lebenszyklus von intelligenten Systemen umfassen: von ihrer Entwicklung bis zu ihrer Archivierung. Sowohl die grundlegenden als auch die angewandten Herausforderungen werden durch eine Reihe von Forschungsinitiativen angegangen, darunter gemeinsame Forschungszentren (z. B. TRR 318), Graduiertenschulen (z. B. DataNinja), internationale Ausbildungsnetzwerke (z. B., LEMUR) und KI-Forschungsgruppen (z. B. Multikriterielles Maschinelles Lernen).
Ausgewählte Projekte
Security
Unsere Sicherheitsforschung konzentriert sich auf den sicheren Entwurf und die Entwicklung von softwareintensiven Systemen, einschließlich der Entwicklung von kryptographischen Protokollen. Wir verfolgen einen ganzheitlichen Ansatz für die Sicherheit, Wir verfolgen einen ganzheitlichen Sicherheitsansatz, der menschliche Faktoren und Methoden einbezieht, um alle Beteiligten bei der Erstellung und Nutzung von sicherer Software zu unterstützen. Software - wie Entwickler, Kryptographen, Praktiker und Endbenutzer - zu unterstützen. Unsere Methoden werden werden häufig durch ihre enge Integration mit dem Internet der Dinge (IoT) und der Industrie 4.0 Sektoren evaluiert, um ihre Relevanz und Wirksamkeit in realen Anwendungen zu gewährleisten.
Ausgewählte Projekte
Software Engineering
In der sich ständig weiterentwickelnden Industrielandschaft wird der größte Teil der Wertschöpfung durch Software erzielt, die die zunehmend alle Aspekte unseres täglichen Lebens durchdringt. Folglich ist es zwingend erforderlich, dass die Software
Nachhaltigkeit, Benutzerfreundlichkeit, Wartbarkeit und Sicherheit im Mittelpunkt der Softwareentwicklung stehen. Unsere Forschung untersucht innovative Ansätze, um Software-Ingenieure und verwandte Fachleute in die Lage zu versetzen Fachleute zu befähigen, diese kritischen Qualitäten für die softwareintensiven Systeme der Zukunft zu erreichen. Durch Weiterentwicklung von Methoden und Werkzeugen wollen wir die Entwicklung von Software unterstützen, die nicht nur die nicht nur den aktuellen Anforderungen entspricht, sondern auch belastbar und anpassungsfähig ist angesichts Herausforderungen.