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.

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