Welcome To Our Laboratory!
Software Engineering for Medical devices
Join us

Thesis proposal

Here you’ll find our thesis proposal

ASM2Java

Given a formal specification, develop a tool to automatic translate Abstract State Machine to java code. This process will be applied to a medical device.

Web service for 3D4amb

Within 3D4amb project, develop the web service to register and save test and threatment results to keep track of patients progress.

Projects

Projects about medical software

3D4amb

Medical software

QUASMED

Medical software

App for Colon operation Prehab

Medical software

App for Rehabilitation

Medical software

About

SE4Med (Software Engineering for Medical Devices) is a laboratory where people develop software for medical devices using different technologies.

  • 2018-05-03

    Birth of 3D4amb

    Angelo Gargantini and Silvia Bonfanti founded SE4Med (Software Engineering for Medical Devices) laboratory

  • Be part
    of our
    story!

Our amazing team

Angelo Gargantini

Angelo Gargantini

Associate Professor

  • Webpage
  • Email: angelo.gargantini@unibg.it

He works in the area of software engineering. His research topics include: formal methods, astract state machines, formal verification and model checking, model-based testing, and combinatorial testing.

Silvia Bonfanti

Silvia Bonfanti

Post-Doc

  • Webpage
  • Email: silvia.bonfanti@unibg.it

Her research interests include Abstract State Machines, model-based testing, automatic code generation, formal development of medical software systems.