Forschungstätigkeit
|
- Arithmetik von Rechenanlagen (vollparallele Arithmetik, redundante Zahlendarstellungen, energetische Aspekte)
- Energieminimierung in Computersystemen (dynamischer Speicher, Arithmetikmodule, Codierungen, Scheduling)
- Entwurf und Bewertung paralleler Rechenstrukturen (insbesondere systolischer Systeme)
- Optimierende/parallelisierende Übersetzer (automatische Parallelisierung sequentieller Programme, Optimierung paralleler und sequentieller Programme)
- Datenabhängigkeits- und Aliasanalyse (für Hochsprachen und Maschinensprachen)
- Übersetzertechniken für mehrfädige Mikroprozessoren (Leistungssteigerung von SMT-Prozessoren, Kontroll- und Daten-spekulation)
- Interdisziplinäre Forschung im Schnittfeld von Informatik und Recht (Vertragsschluss durch mobile elektronische Agenten, Kryptographie, elektronische Signatur)
|