Courses taught

Current courses

  • Security and components
  • Language theory, semantics and proof
  • 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