Research Program Towards High-Quality and Intelligent Software (THIS)

Organisation profile

Layman's description

The research programme Towards High-Quality and Intelligent Software (THIS) aims at improving quality assurance technology for software engineering. It is composed of four program lines:

  • Software Quality: This program line focuses on quality assurance techniques for software systems. Research concentrates on techniques for, or based on, automated testing, theorem proving, model checking, run-time verification and static analysis.
  • Security & Privacy: This program line focuses on security of software and computer systems, and privacy-by-design.
  • Artificial Intelligence: This program line focuses on methods for artificial intelligence (such as Bayesian models, machine learning and deep learning), responsible AI, and applications (smart services).
  • Teaching & Learning: This program line focuses on learning-supporting tools and on computing education.

Fingerprint

Dive into the research topics where Research Program Towards High-Quality and Intelligent Software (THIS) is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or