Hi I'm Patrizia and I do research, teach, speak

I'm Associate Professor in Computer Science Engineering at the University of Bergamo (Italy). For details see my faculty web page.

Below you will find a few details about my academic life and research work.

Few words about me

My primary passion is Software Engineering. In time I developed a preference for the Formal Methods field, especially for the Abstract State Machine (ASM) formalism. Soon after that I also started to work within the Software Architecture field. My reseach focus is the design of control software architectures and model-based analysis for self-adaptive, autonomous and uncertain software-intensive systems, including service-based applications, IoT-Edge-Cloud applications, and embedded systems.



  • PhD in Computer Science, 2006, University of Catania, Italy
  • Degree in Computer Science, 2002, University of Catania, Italy
  • Degree in Industrial Technical High School -- Computer Science, 1995, I.T.I.S. G. Ferraris of Acireale (CT), Italy
  • Scientific writing and public speaking

    I've been writing my entire life. Public speaking was a natural progression after writing and teaching. I attend a couple of events per year. My main services and roles in organizing scientific conferences and workshops are listed at conf.researchr.org. My publication list from DBLP
    My Google Scholar's profile
    My publications are also listed in my faculty web page.

    Teaching Courses

    Most of my courses are about software and algorithm design, programming and operating systems. For more details about my courses, see my faculty web page.

    Software development

    I also develop software associated to my research. I started programming since I was 15 years old and attending the high school IISS "G.Ferraris" of Acireale (Sicily). I started programming in Pascal with a MS-DOS/Intel 486 computer. My favourite programming languages are general-purpose languages like Java and Python.


    Here are some of the research projects I am most proud of. I am grateful for working with some amazing people from which I had the pleasure to learn a lot.

    ASMETA is a framework for the Abstract State Machines (ASMs) formal method. It is composed of different tools for performing different validation and verification activities. ASMETA toolset is Eclipse-based and has been developed by following the guidelines of the Model-Driven Engineering (MDE). The ASMETA framework is based on a metamodel for ASMs that I have defined during my PhD.

    Leading UNIBG-DIGIP group in project:

    ENEA PELL IP is a smart city platform to collect big-data, control, predict and possibly optimize the behavior of public lighting systems. This my research collaboration with the Italian agency ENEA is supported by the Italian national project "Piano triennale di realizzazione 2022-2024 della Ricerca di Sistema elettrico nazionale".

    Participation in European research projects:

  • GLACIATION (Green responsibLe privACy preservIng dAta operaTIONs), grant agreement No 101070141, 2023-25
  • MOSAICrOWN (Multi-Owner data Sharing for Analytics and Integration respecting Con-fidentiality and Owner control), H2020, 1/1/2019-31/12/2021
  • Escudo-Cloud (H2020, 1st Call).
  • PoSecCo (IP, FP7, ICT 5th Call).
  • BRICS "Best practice in RobotICS", FP7 ICT-2007.2.2: Cognitive Systems, Interaction, Robotics (2009-2013).
  • Participation in national research projects:

  • PRIN project 2022 SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems
  • PRIN project GenData 2020 2010RTFWBH
  • PRIN project D-ASAP "Dependable Adaptable Software Architectures for Pervasive Computing" (2009-2011) 2007XKEHFA_003 Scientific director: Prof. Carlo Ghezzi, Politecnico di Milano.
  • Participation in industrial projects:

    WATCHMAN (Workload-reduction mAchine vision-based TeChnology Hub for MANufac-turing), funded by the Lombardy Region Call hub Research & Innovation (2020-2022)
  • Collaborative Industrial/Lombardy Region project Smart Break (Smart Bialetti REstoration Adaptive Kit) 2013-2014
  • Industrial project "Metodologie e tecniche model-driven per la progettazione e l'analisi di sistemi embedded  tramite UML, ASM e SystemC" (2006-2008): a joint industry/university collaboration between STMicroelectronics AST R&I of Agrate Brianza (MI) and University of Milan.
  • Industrial project “Tecniche e metodologie di PROGETTO, DOCUMENTAZIONE, VERIFICA e VALIDAZIONE per i sistemi di IP”, in collaboration with STMicroelectronics, Agrate Brianza (MI), 2003-2006 (Scientific director: Prof.ssa Elvinia Riccobene DTI - University of Milan).
  • Contact details

    It's easy to get in touch with me and inquire anything about my teaching and research activity.