Giovanna Di Marzo Serugendo
Ph.D. École Polytechnique Fédérale de Lausanne (EPFL) 1999
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Chambers, Flann | Université de Genève | 2025 | |
| Firmansyah, Hafiz Budi | Université de Genève | 2025 |
According to our current on-line database, Giovanna Di Marzo Serugendo has 2 students and 2 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.