Topics for bachelor and master students interested in software engineering, formal methods, digital health, accessibility and AI-supported development.
Design and evaluate techniques for deriving, executing or improving tests starting from formal models such as Abstract State Machines. The work can be more implementation-oriented or more experimental depending on the degree programme.
Analyse, design or evaluate digital tools with respect to accessibility, usability and inclusion. Possible case studies include web applications, mobile interfaces, educational technologies and assistive solutions.
Study software engineering techniques for medical software, simulators, monitoring platforms or Digital Twins. The thesis may include requirements analysis, modelling, validation or prototype development.
Explore how large language models and AI-based tools can support software engineering activities such as writing specifications, generating tests, checking consistency or improving documentation.
Design or extend software prototypes for supporting remote or technology-mediated Augmentative and Alternative Communication, with attention to user needs, accessibility and evaluation.
The topics listed above are examples and can be adapted according to the student background, degree programme and current research projects.
Students interested in a thesis can contact me by email, briefly describing:
New topics can also be proposed by students, especially when they are related to software engineering, formal methods, accessibility, healthcare technologies or AI-supported development.