My Ph.D Students

• Alessandra Cavarra  (XII cycle)

  Applying Abstract State Machines to formalize and integrate the Unified Modeling Language lightweight method (Dec. 2000)

  currently University Lecturer at Oxford University Computing Laboratory, Oxford, U.K.
  http://web.comlab.ox.ac.uk/people/Alessandra.Cavarra/

  ---

• Marianna Nicolosi Asmundo (XIII cycle)

  Consistent Composition of Abstract State Machines Models (Dec. 2002)

  currently Assistant Professor at DMI - University of Catania

  http://www.dmi.unict.it/~nicolosi/

  ---

• Patrizia Scandurra  (XVIII cycle)

  Model-driven Language Definition: metamodelling methodologies and applications.  (Dec. 2005)

  currently Assistant Professor at DIIMM - University of Bergamo

  http://cs.unibg.it/scandurra/
  

  ---

• Paolo Arcaini  (XXV cycle)

  currently working on model verification and runtime monitoring
  

  http://www.dti.unimi.it/arcaini/