Giovanna Di Marzo Serugendo

MathSciNet

Ph.D. École Polytechnique Fédérale de Lausanne (EPFL) 1999 Switzerland
Dissertation: Stepwise refinement of formal specifications based on logical formulae: from CO-OPN/2 specifications to Java programs

Advisor 1: Alfred Strohmeier

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Villalba Castro, AlfredoUniversité de Genève2013
De Angelis, FrancescoUniversité de Genève2017
Hammouya, MessaoudUniversité de Genève2017
Wade, AssaneUniversité de Genève2017
Fournier-Tombs, EléonoreUniversité de Genève2018
Rousseaux, EmmanuelUniversité de Genève2018
Ben Mahfoudh, HoussemUniversité de Genève2020
Berrocal Rojas, AllanUniversité de Genève2020
Huseynov, EminUniversité de Genève2020
Parhizkar, MohammadUniversité de Genève2020
Sahin, OzanUniversité de Genève2021
Alrafeea, FayezUniversité de Genève2023
Chambers, FlannUniversité de Genève2025
Firmansyah, Hafiz BudiUniversité de Genève2025

According to our current on-line database, Giovanna Di Marzo Serugendo has 14 students and 14 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 332727 for the advisor ID.