Curriculum Vitae et Studiorum Dossier n. 48773 Cinzia Di Giusto December 31, 2010
Personal Information: Date of birth: Nationality: Di Giusto, Cinzia Oct 17, 1979 in Udine, Italy Italian Home address: via San Donato, 59/6 int. 4 40127 Bologna Italy Domicile: 8, Avenue du Granier 38240 Meylan France Telephone: +39 349 146 1618 Web page: e-mail: http://www.cs.unibo.it/~digiusto/ cinzia.digiusto@gmail.com Research Interest: Techniques for proving expressiveness of Concurrent calculi (Process Algebras, Rewriting systems): Petri Nets, Well Structured Transition Systems. Analysis of bioinspired calculi. Education: 2004 2009 PhD in Computer Science at Università degli Studi di Bologna (Italy) Grant: Borsa ministeriale Thesis Title: Expressiveness of Concurrent Languages Advisor: Maurizio Gabbrielli 1998 2004 Master degree in Computer Science at Università degli Studi di Udine (Italy) Thesis Title: Deterministic Sampling e Ricerca Sequenziale e Parallela su Stringhe (Deterministic Sampling vs Sequential and Parallel String-matching) Mark: 110 / 110 cum laude 1
Personal skills: Mother tongue: Other: Italian Understanding Speaking Writing Listening Spoken Spoken Reading interaction production English French Experience: Other: B1 Indep. B1 Indep. B2 Indep. B2 Indep. (*) Common European Framework of Reference (CEF) level A2 Basic Grid Architectures, Process Algebra, Logic Programming, Model Checking, Bio-inspired calculi C++, Java Basics of Functional and Logic Languages Web Technologies: HTML, Javascript, PHP Research Experience: 01/01/2010 onwards 20/12/2007 20/12/2009 Post doctoral position at INRIA Rhone-Alpes, Grenoble, France Main activities: Ongoing research on concurrent languages for modelling components Research fellow with a temporary position (Assegnista di ricerca) at Università degli Studi di Bologna, Dipartimento di Scienze dell informazione, Bologna Italy Main activities: Ongoing research on concurrent languages with respect to analysis of expressiveness 2
01/06/2004 31/05/2005 C++ programmer for the EGEE (Enabling Grids for E- Science) project at INFN-CNAF (Istituto Nazionale di Fisica Nucleare - Centro Nazionale per la Ricerca e Sviluppo nelle Tecnologie Informatiche e Telematiche) - Bologna, Italy Main activities: C++ programming of a middleware for GRID infrastructures Teaching Experience: 01/10/2007 30/09/2010 01/09/2007 01/06/2010 01/04/2009 01/07/2009 01/09/2005 01/12/2009 Professor with a temporary appointment for a course in Logics (undergraduate program) (Professore a contratto per il corso di Logica Matematica - Corso di Laurea in Informatica Applicata) at Università di Urbino, Facoltà di Scienze e Tecnologie, Urbino, Italy Lectures hours per year: 48 Tutor for the course of Logics for the Computer Science undergraduate program (Assistente alla didattica per il corso di Logica Matematica - Corso di Laurea in Informatica) at Università degli Studi di Bologna, Facoltà di Scienze Matematiche Fisiche e Naturali, Bologna, Italy Lectures hours per year: 20 (Academic Year 2007/2008: 40h) Tutor for a training course in Logics for professors of secondary school (Project: Lauree Scientifiche orientamento e formazione degli insegnanti di Matematica ) at Università degli Studi di Bologna, Dipartimento di Matematica, Bologna, Italy Main activities: exercises and tutoring Hours: 28 Tutor for the A3 project on e-learning at Università degli Studi di Bologna, Dipartimento di Scienze dell Informazione, Bologna, Italy Hours per year: 220 3
01/09/2008 01/09/2009 01/09/2005 01/09/2008 01/09/2005 01/09/2007 Tutor for the course of Algorithms and Data Structures for the Computer Science undergraduate program (Assistente alla didattica per il corso di Algoritmi e Strutture Dati - Corso di Laurea in Informatica) at Università degli Studi di Bologna, Facoltà di Scienze Matematiche Fisiche e Naturali, Bologna, Italy Lectures hours per year: 30 Tutor for the course of Programming for Computer Science undergraduate program (Assistente alla didattica per il corso di Programmazione - Corso di Laurea in Informatica) at Università degli Studi di Bologna, Facoltà di Scienze Matematiche Fisiche e Naturali, Bologna, Italy Lectures hours per year: 50 Tutor for a basic course on Computer Science for the Literature undergraduate program (Assistente alla didattica per il corso di Informatica Generale - Corso di Laurea in Scienze della Comunicazione) at Università degli Studi di Bologna, Facoltà di Lettere, Bologna, Italy Lectures hours per year: 30 Other experiences: 01/08/2002 31/01/2003 01/03/2006 31/07/2006 Socrates Programme for undergraduate students: 6 months spent in Uppsala Universitet (Uppsala - Sweden) Research period in LIX - Ecole Polytechnique (Paris - France) funded by Marco Polo scholarship under the supervision of Catuscia Palamidessi Events Schools: 4
07/03/2005 18/03/2005 20/04/2005 27/04/2005 10/07/2005 23/07/2005 11/09/2006 13/09/2006 29/11/2007 01/12/2007 29/03/2008 06/04/2008 24/01/2009 30/01/2009 01/09/2009 04/09/2009 31/08/2010 03/09/2010 PhD School BISS 2005: Bertinoro International Spring School for Graduate Studies in Computer Science, 7-18 March 2005, University of Bologna Residential Center Bertinoro (Forlì), Italy PhD School Game-theoretic approach to multi-agent systems, School organized by Università di Padova (course given by Krzysztof R. Apt), 20-27 April, 2005 Padova, Italy. PhD School Formal Methods: Theory And Practice 17th International School for Computer Science Researchers, July 10 - July 23, 2005 Lipari Island, Italy. Conference participation IFIP anniversary meeting in Udine, Italy Conference participation with presentation APLAS 2007 in Singapore, Singapore Conference participation with presentation ETAPS (ESOP) 2007 in Budapest, Hungary Conference participation with presentation SOFSEM 2009 in Spindleruv Mlỳn, Czech Republic Conference participation and organizing committee CONCUR 2009 in Bologna, Italy Conference participation CONCUR 2010 in Paris, France 5