Research Fields

  • Verification and validation of embedded systems
  • Quality assurance for hardware/software codesigns
  • Test automation and formal methods

To find out more, have a look at our current research projects and at our publications.