Silvia Bonfanti is Research Associate (RTD-A) since January 2023. She graduated in Computer Engineering at the University of Bergamo in 2013, and in 2017 at the same university she obtained her PhD in Engineering and Applied Sciences (Computer Engineering). Her research activity is in the area of Software Engineering, with a focus on the application of formal methods: modeling, validation, verification, and automatic code generation. In particular, she focuses on the integration of formal methods in the medical software development process in order to obtain certification. She also conducts research for new digital approaches for diagnosis and treatment of visual diseases (especially for amblyopia). Recently, she has expanded his research activities in using @run.time models and developing testing activities for neural networks.