Ing. Silvia Bonfanti, PhD
Tenure Track Researcher · Department of Management, Information and Production Engineering
Abstract State Machines, ASMETA, model-based development, formal verification and rigorous system design.
Software testing, verification, quality assurance, and AI-driven methods for software development and validation.
Medical software, Digital Twins, accessibility, augmentative and alternative communication (AAC), and inclusive digital technologies.
I supervise bachelor and master theses on software engineering, formal methods, accessibility, digital health and AI-supported development. Thesis topics can be adapted to the student's background and interests.
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.