Research Program Towards High-quality and Intelligent Systems (THIS)

Organisation profile

Organisation profile

The THIS line is researching a multi-faceted approach based on fourinterconnected research lines, each contributing to a comprehensive strategy.  

  • The Software Engineering line focuses on enhancing software reliability through rigorous testing and formal verification methods.  
  • The Security & Privacy line aims to fortify software and computing systems against breaches, emphasizing measures for preventing, detecting, and defending against security and privacy threats.  
  • The Artificial Intelligence line explores the responsible, safe, and efficient development of AI systems, particularly investigating how AI can further support and automate aspects of software engineering and security.  
  • The Computer Science Education line conducts research supporting the teaching and learning of computer science and digital skills, with a focus on programming, student-related factors, and digital literacy.  

 

Together, these lines form a robust and interdisciplinary network, striving not only to advance the practical aspects of software engineering but also to ensure the safe, secure, and enlightened development of future computing systems, while shaping a new generation of computer science professionals well-prepared in the latest technologies and methodologies. 

Fingerprint

Dive into the research topics where Research Program Towards High-quality and Intelligent Systems (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