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