Forschungsschwerpunkte

Hochdimensionale Boolesche Probleme

• Effizienzsteigerung durch Verarbeitung von Ternärvektorlisten-Tupeln
• Dekompositionsstrategien
• Data Mining durch Dekomposition mehrwertiger Funktionen
• Theorie Boolescher Ringe - Special Normal Form (SNF)
• Exakte ESOP-Minimierung
• Neuronale Netze

Parallelverarbeitung/Softwaretechnologie

• Methoden zur Entwicklung nebenläufiger Algorithmen basierend auf der Unified Modelling Language (UML)
• Methoden zum Hardware/Software Codedesign für nebenläufige verteilte eingebettete Systeme ausgehend von einer UML-Modellierung
• Test von Softwaresystemen