Lectures

Universität Bremen

• Information Security
• Object-oriented Software Development
• Techniques of Correct Software Development
• Safety-Critical Systems 4: Engineering of Embedded Software Systems
• Logic

Universität Freiburg

• Computer Supported Modeling and Reasoning
• Automata Based System Analysis

• Sicherheit

• Foundations of Formal Software Development
• Model Checking
• Temporal Logic
• Formal Object-Oriented Software Engineering
• Object-Oriented Software Engineering

• Advanced Aspects of Object-Oriented Programming (German , English)
• Software Architecture