• Diskrete Strukturen und Logik, see
  Meinel / Mundhenk: Mathematische Grundlagen der Informatik - eine Einführung, Springer Vieweg, , 6. Auflage, 2015
• Binäre Entscheidungsgraphen, see
  Meinel / Theobald: Algorithmen und Datenstrukturen im VLSI Design. OBDD - Grundlagen und Anwendungen, Springer Verlag, Berlin, Heidelberg, New York, 1998
• Automatentheorie und Formale Sprachen
• Technische Grundlagen des Elektronischen Publizierens im WWW
• Sicherheit im Internet - Schwachstellen und Angriffspunkte
• Komplexitätstheorie
• CAD-Logiksynthese und -Optimierung
• Berechenbarkeit und Komplexität
• Schaltkreiskomplexität
• Informatik I: Einführung in die Informatik
• Informatik II: Effiziente Algorithmen und Datenstrukturen, see
  Meinel: Effiziente Algorithmen. Entwurf und Analyse, Fachbuchverlag, Leipzig, 1991

... to our Research: 
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching: 
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications: 
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.