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 listed in chronological order.

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

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.