Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Curriculum of Isabella Mastroeni
October 13, 2005:
Best Italian Ph.D. thesis in Theoretical Computer Science of 2005 awarded by the Italian EATCS.
April 15 - September 30,
2005: Full time position in the Department of
Computing and Information Sciences. The position is sponsored by the
programming-language security research team in the Department of Computing and Information
Sciences, Kansas State University;
March 31st, 2005: PhD
thesis defence. Commission composed by Prof. Andrea Masini,
Prof. Giorgio Levi and Prof. Bruno Siciliano. Thesis reviewed by
Prof. Patrick Cousot and Prof. Chris Hankin;
From January 2002 to December 2004 I've been
PhD student at the University of Verona,
Dipartimento di Informatica;
Organizing Chair of
the first International Workshop on Programming Language
Interference and Dependence (PLID'04);
Member of the
organizing commettee of LOPSTR+PEPM+PPDP+SAS 2004 (SAS'04)
May 6 - July 5, 2002,
Paris, France: Period at the Laboratoire d'informatique de l' Ecole
polytechnique (LIX)
in Paris, for research activities for my PhD. The work
is in the European Project "Validation of critical software by static
analysis and abstract testing", IST-1999-20527 (DAEDALUS)
coordinated by
Prof. Patrick Cousot and by Dr. Radhia Cousot, on validation of software
components embedded in future generation critical concurrent systems by
exhaustive semantic-based static analysis and abstract testing methods based
on abstract interpretation;
July 25, 2001:
Computer Science Laurea degree at the University of
Verona. Valutation: 110/110 cum laude with a special mention for the
particular curriculum, for the obtained results and for having reached
the graduation in the first possible session; Thesis for Laurea degree:
Costruzione
sistematica di semantiche mediante interpretazione astratta (Here
you find an abstract of it). Advisor: Prof. Roberto Giacobazzi;
From 1997 to 2001:
Annual scholarship "Giacomo Frizzo" from the municipality of Verona;
July 21 - August 15, 1997,
Aberystwyth, Wales, United Kingdom: Scholarship for one month English language
course in the
University of Wales;
July 20, 1996: High school
degree at LSS Leonardo da Vinci,
Cerea - Verona. Valutation: 60/60;