Silvia Bonfanti

PhD student in:

Engineering and Applied Sciences



o  From January 2014 to December 2016: PhD in Engineering and Applied Sciences from University of Bergamo. The topic of PhD thesis is “Model-based development of Programmable Electronic Medical Systems”. It is in collaboration with SCCH (Software Competence Center Hagenberg -
o  From September 2011 to December 2013: MSc in Computer Engineering (final mark 110 an honour/110).
o  From September 2008 to September 2011: BSc in Computer Engineering.
o  From September 2003 to July 2008: Commercial expert accountant and programmer.


o Gargantini A., Terzi F., Zambelli M., Bonfanti S., "A Low-cost Virtual Reality Game for Amblyopia Rehabilitation", 3rd Workshop on ICTs for improving Patients Rehabilitation Research Techniques, REHAB2015.
Arcaini P., Bonfanti S., Gargantini A., Mashkoor A., Riccobene E., “Formal validation and verification of a medical software critical component”, 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE’15
o Bonfanti S., Gargantini A., Vitali A., “A mobile application for the stereo acuity test”, 17th International Conference on Human-Computer Interaction, HCI2015.
Cologni A.L., Fasanotti L., Dovere E., Previdi F., Bonfanti S., Owen F.C. “Smarthphone based video-telemetry logger for remote maintenance services”, 15th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2015.



·       o ASMETA:  metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE) (

·       o 3D4AMB: aims at developing a system based on the 3D for the diagnosis and treatment of amblyopia in young children (



Skype: silviabonfi
Phone: +39 0352052374