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.