Courses taught

Current courses

• Cyber-Physical Systems
• Software configuraiton
  
• Language theory and automata
• Software specification, verification and validation
• Parsing and introduction into compilation
• Modelling and evaluation of complex systems

Former courses

• Security of information systems and of communication protocols
• Methods and tools for artificial intellingence
• Discrete models for computer science
• Data bases
• Process algebra for component-based systems
• Finite and infinite state automata
• Techniques and tools for spefification and verification of systems