My photo

Biography

Since February 2019 I have been a researcher with University of Bergamo (Italy) and since October 2019 to October 2022 I have been a PhD student in Software Engineering within the PhD school of Engineering and Applied Sciences at University of Bergamo (Italy), in the Computer Science Group, under the supervision of Prof. Angelo Gargantini. At the moment, I'm a Post-Doc at the University of Bergamo (Italy).

My ongoing research activity involves methods suitable to guarantee a better quality for medical software, systems, devices and protocols, mainly by means of software testing and formal methods.
You can find a better explaination of my research project here.

You can view my current updated CV here.

Teaching

I have served as a teaching assistant for the following courses at University of Bergamo:

  • 21029: Industrial Automation (Fall 2018)
  • 38068-2: Informatica III (Software Design and Algorithms) (Fall 2019, Fall 2020, Fall 2021, Fall 2022)
  • 38068-1: Informatica III (Programming) (Fall 2019, Fall 2022)
  • 21013: Informatica II (Object Oriented Programming) (Spring 2020, Spring 2021, Spring 2022)
  • 21013: Informatica II (Operating Systems) (Spring 2020, Spring 2021)
  • 21056: Software Testing and Verification (Spring 2020, Spring 2021, Spring 2022)
  • 39170-ENG: Data Science and Automation (Spring 2020)
  • 21034: Data Software Engineering (Fall 2022)

I have served as a professor for the following courses at University of Bergamo:

  • 148021-2: Mobile App Lab (Spring 2023)

I have also been a teacher of:

Publications

  • Robustness assessment and improvement of a neural network for blood oxygen pressure estimation

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
    ICST 2022
  • Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
    appFM 2021
  • Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    ICTSS 2021
  • Lessons Learned from the Development of a Mechanical Ventilator for COVID-19

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
    ISSRE 2021
  • Efficient Computation of Robustness of Convolutional Neural Networks

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    Ai Test 2021
  • The ASMETA Approach to Safety Assurance of Software Systems

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
    Logic, Computation and Rigorous Methods (2021)
  • Extending ASMETA with time features

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
    ABZ 2021
  • The novel Mechanical Ventilator Milano for the COVID-19 pandemic

    Show Abstract

    Andrea Abba, Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Arthur B. McDonald, et. al.
    Physics of Fluids 33, 037122 (2021)
  • An environment for benchmarking combinatorial test suite generators

    Show Abstract

    Andrea Bombarda, Edoardo Crippa, Angelo Gargantini
    IWCT 2021
  • ROBY: a Tool for Robustness Analysis of Neural Network Classifiers

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    ICST 2021 - Testing Tools track
  • An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

    Show Abstract

    Andrea Bombarda, Angelo Gargantini
    IWCT 2020
  • Dealing with Robustness of Convolutional Neural Networks for Image Classification

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    AI Test 2020
  • Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
    ICTSS 2019
  • Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    TOOLS 2019

CONTACT ME

Università  degli Studi di Bergamo, Viale Marconi 5, 24044 Dalmine, Italy

andreabombarda
andrea.bombarda@unibg.it