Frühere Forschungsschwerpunkte lagen in den Bereichen

  • Komplexitätstheoretische Untersuchungen zum Nachweis unterer Ressourcenschranken zur Kommunikationskomplexität und für Branching Programme,
  • Entwicklung effizienter Algorithmen für die  Datenstruktur der OBDDs (Ordered Binary Decision Diagrams) und deren komplexitätstheoretische Analyse,
  • Formale Methoden zum automatischen Entwurf und zur Verifikation von digitalen Schaltkreisen und Kommunikationsprotokollen

bzw. auf der Telematik-Forschung im Rahmen des von der Fraunhofer-Management-Gesellschaft betreuten Instituts für Telematik in Trier.

Weitere Links

... zu unseren Forschungen:
       Security Engineering - Learning & Knowledge Tech - Design Thinkingfrüher
... zu unserer Lehre:
       Tele-Lectures - MOOCsLaboreSysteme
... zu unseren Publikationen
        Bücher - Journale - Conference-Papers - Patente
... und zu unseren Jahresberichten.