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

Organization 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.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Best paper award iFM 2022

    de Gouw, Stijn (Recipient), 2022

    Prize: Prize (including medals and awards)Academic

  • OU Teacher of the year

    Jonker, Hugo (Recipient), 2020

    Prize: Prize (including medals and awards)Academic

  • RRBM Honor Roll

    Henkel, Alex (Recipient), Bromuri, Stefano (Recipient) & Iren, Deniz (Recipient), 2022

    Prize: Prize (including medals and awards)Academic