Curriculum dell’attivit` a scientifica e didattica

(1)

Curriculum dell’attivit` a scientifica e didattica

Elisa MARENGO

nata a Savigliano il 20 settembre 1984, residente a Fossano (CN)

in Loc. San Lorenzo, 85/b, c.a.p. 12045, Tel. 347 – 79 71 741;

cittadinanza italiana;

nubile.

e-mail: [email protected]

home page: http://www.di.unito.it/~emarengo/

Diploma, laurea, borse di studio, premi

• Diploma di Maturit`a Scientifica conseguito nel luglio 2003 presso l’Istituto Tecnico Industriale Statale “G. Vallauri” di Fossano (CN), con la votazione di 81/100.

• Laurea di primo livello in Informatica conseguita il 21 Settembre 2006 presso il Corso di Studi in Informatica dell’Universit`a degli Studi di Torino, con la votazione di 110 su 110 e lode.

Tesi svolta nell’area dell’intelligenza artificiale applicata all’E-learning:

“Realizzazione di un web service prolog per la pianificazione di curricula di studi: un approccio ad azioni nel Semantic Web”.

Relatore: prof. Matteo Baldoni (Universit`a degli Studi di Torino).

Co-relatore: Dott. Ing. Ingo Brunkhorst (Universit`a di Hannover, Germania).

• Vincitrice di una Borsa di Studio conseguita nell’agosto 2007, bandita dall’Associazione Italiana per l’Intelligenza Artificiale per la parteci- pazione al 10^o Congresso annuale dell’Associazione, “Artificial Intelli- gence and Human-oriented Computing”.

• Laurea Magistrale in Sistemi per il Trattamento dell’Informazione conseguita il 2 Ottobre 2008 presso il Corso di Studi in Informatica dell’Universit`a degli Studi di Torino, con la votazione di 110 su 110 e lode, menzione per l’eccezionale curriculum e dignit`a di stampa.

(3)

Tesi svolta nell’area della rappresentazione della conoscenza e della verifica automatica, nell’ambito dell’E-learning: “Curricula di Studi:

Modelli e Verifica di Competenze”.

Relatore: prof. Matteo Baldoni (Universit`a degli Studi di Torino).

Controrelatore: prof. Alberto Martelli (Universit`a degli Studi di Torino).

• Vincitrice del premio di Laurea 2009 per le migliori tesi sull’ICT.

Premio di euro 3000 promosso da AICA e Confindustria Servizi Inno- vativi e Tecnologici. La commissione ha valutato sulla base di criteri quali innovativit`a dei risultati ottenuti, possibilit`a di impatto industriale, rilevanza scientifica e chiarezza espositiva.

• Nell’ottobre 2008 vincitrice del concorso a cinque posti per il Corso di Dot- torato di ricerca in Informatica, XXIV ciclo, dell’Universit`a degli Studi di Torino presso il Dipartimento di Informatica.

• Vincitrice del Premio “Medaglia d’Argento” per la miglior tesi di laurea per il Corso di Laurea in Informatica, anno accademico 2007/2008.

Il riconoscimento è stato attribuito dall’Università degli Studi di Torino su proposta del Senato Accademico. Il conferimento è avvenuto in seguito a giudizio emesso da un’apposita Commissione composta di docenti del Corso di laurea nominati dal Rettore su designazione del relativo Consiglio di Facoltà.

• Vincitrice di una Borsa di Studio (Travel Grant) conseguita nel giugno 2010, bandita da ECCAI: European Coordinating Committee for Arti- ficial Intelligence per la partecipazione all’evento 19th European Con- ference on Artificial Intelligence - ECAI 2010, Lisbona, Portogallo, Agosto 2010.

Posizione attuale

Attualmente Elisa Marengo `e iscritta al secondo anno del Corso di Dottorato di ricerca in Informatica, presso il Dipartimento di Informatica di Torino, dove `e membro delle aree di ricerca “Agent Oriented and Service Oriented Computing” e “Knowledge Representation and Reasoning”.

(4)

Attivit` a Scientifica (in breve)

Attivit` a di ricerca in corso

L’attività di ricerca di Elisa Marengo si è concentra, durante la tesi e nel primo anno di dottorato, principalmente sull’applicazione di tecniche di intelligenza artificiale, e in particolare ragionamento su azioni, planning e model checking, alla rappresentazione di curricula e loro modelli e alla verifica di loro proprietà, quali la corrispondenza di un curriculum a un modello e l’assenza di “competence gap”.

Pi`u recentemente Elisa Marengo si `e dedicata allo studio di metodi per la rappresentazione, per la specifica e per il ragionamento su protocolli di comunicazione, nell’ambito di sistemi multi-agente.

Visibilit` a nazionale ed internazionale

• Membro del Comitato di Programma di:

International Conference on Semantic Systems 2010, I-Semantics con- ference, 1 – 3 September 2010, Austria

URL: http://www.i-semantics.at

• Chair della sessione Platforms and Applications del workshop MALLOW- AWESOME’009.

2nd Multi-Agent Logics, Languages, and Organisations Federated Work- shops, MALLOW’009, Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME’009)

Presentazioni e inviti

Elisa Marengo ha effettuato le seguenti presentazioni:

• Behavior-oriented Commitment-based Protocols, presentato a ECAI 2010 – 19th European Conference on Artificial Intelligence, ECAI 2010. Lis- bon, Portugal, August 2010. Presentazione svolta in collaborazione con Cristina Baroglio;

• Constraints among Commitments: Regulative Specification of Interac- tion Protocols, presentato al Convegno Italiano di Logica Computazionale, CILC 2010, Univerist`a della Calabria, Arcavacata di Rende (CS), Italia, 7 luglio 2010;

(5)

• Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS, presentato a DALT: Declarative Agent Languages and Technologies, Toronto, Canada, 10 Maggio 2010;

• Joint achievement of services’ personal goals, presentato a MALLOW- AWESOME’009: Multi-Agent Logics, Languages, and Organisations, Federated Workshops - Agent, Web Services and Ontologies, Integrated Methodologies, Torino, Italia, 8 Settembre 2009;

• Declarative representation of curricula models: an LTL- and UML- based approach, presentato a WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, Genova, Italia, 24 Settembre 2007;

• Curricula Modeling and Checking, presentato a AI*IA 2007 – 10th Congress of Italian Association for Artificial Intelligence, Roma, Italia, 13 Settembre 2007;

• A Personalization Service for Curriculum Planning, presentato a ABIS 2006 – 14th Workshop on Adaptivity and User Modeling in Interactive Systems, Hildesheim, Germania, 11 Ottobre 2006;

• Presentazione della propria relazione di tirocinio (laurea triennale), inerente i temi di ricerca sopra riportati, presso il Learning Lab Lower Saxony, Hannover, Germania, 13 Ottobre 2006. In questa occorrenza, la presentazione `e avvenuta su invito della prof.ssa Nicola Henze, dell’U-niversit`a di Hannover.

Scuole di Dottorato

Elisa Marengo ha partecipato alle seguenti scuole di dottorato:

• BISS 2009: Bertinoro international Spring School, tenutasi a Bertinoro (Forl`ı-Cesena), nel periodo 2 - 13 marzo 2009.

• EASSS 2009: European Agent Systems Summer School, tenutasi a Torino, nel periodo 31 agosto - 4 settembre.

Attivit` a Didattica

Elisa Marengo ha svolto le seguenti attivit`a didattiche:

(6)

• Anno accademico 2009/2010: vincitrice di un borsa per “collaborazione didattica per cicli di esercitazioni” (art. 33, Ateneo di Torino) presso il Corso di Studi in Informatica, Facolt`a di Scienze MM.FF.NN., Universit`a degli Studi di Torino. Le esercitazioni fanno parte del corso Basi di Dati e Sperimentazioni.

• Anno accademico 2006/2007: assistenza come studente collaboratore part-time (art. 13, Ateneo di Torino) presso il Corso di Studi di Infor- matica dell’Universit`a degli Studi di Torino:

– 50 ore di supporto alle attività didattiche del corso di Program- mazione in Rete e Laboratorio presso il Corso di Studi in Infor- matica, Facoltà di Scienze MM.FF.NN., Università degli Studi di Torino, corso del terzo anno, 9 Crediti Formativi Universitari;

– 100 ore di supporto di attivit`a di biblioteca, presso la biblioteca del Dipartimento di Informatica dell’ Universit`a di Torino.

(7)

Attivit` a organizzative

Elisa Marengo ha svolto le seguenti attivit`a organizzative:

• Anno 2006: attivit`a di segreteria per la Scuola Estiva Internazionale di Dottorato Torino-Chambery 2006

(http://www.di.unito.it/~baroglio/SummerSchool06/index.html)

• Anno 2009: responsabile delle attivit`a di segreteria per i seguenti eventi:

– EASSS 2009: European Agent Systems Summer School, tenutasi a Torino, nel periodo 31 agosto - 4 settembre.

(http://agents009.di.unito.it/EASSS.html)

– MALLOW 2009: Multi-Agent Logics, Languages, and Organisa- tions Federated Workshops, tenutosi a Torino, nel periodo 7 - 10 settembre.

(http://agents009.di.unito.it/MALLOW.html)

Attivit` a di revisione

Elisa Marengo ha partecipato all’attivit`a di revisione nell’ambito dei seguenti eventi:

• RuleML 2010. 4th International Web Rule Symposium: Research Based and Industry Focused, Washington, DC, USA.

• CILC 2010. Convegno Italiano di Logica Computazionale, Univerist`a della Calabria, Arcavacata di Rende (CS), Italy.

• IEEE ICWS 2010. 8th International Conference on Web Services, Miami, Florida, USA.

• AAMAS 2010. 9th International Conference on Autonomous Agents and Multiagent Systems, Toronto, Canada.

• LADS’009. LAnguages, methodologies and Development tools for multi-agent systemS, Torino, Italy.

• AAMAS 2009. 8th Conference for research in Autonomous Agents and Multiagent Systems, Budapest, Hungary.

• IJCAI 2009. International Joint Conference on Artificial Intelli- gence, Pasa-dena, California, USA.

(8)

• ICWS 2009. International Conference on Web Services, Los Angeles, CA, USA.

(9)

Attivit` a Scientifica (in dettaglio)

L’attivit`a di ricerca svolta ad oggi si struttura in tre parti principali:

• Formalizzazione di curricula per mezzo di una teoria ad azioni, uso di tecniche di planning per creare curricula di studi personalizzati. Più in dettaglio il lavoro è consistito nella realizzazione di un pianificatore che, dato un insieme di conoscenze iniziali di uno studente, i suoi obiettivi di apprendimento in termini di competenze che desidera acquisire, e un repository di descrizioni di corsi, in termini di conoscenze necessarie per seguirli con profitto e conoscenze in uscita fornite dai corsi (tutto ciò rappresentato in RDF), costruisce una sequenza di corsi che con- sentiranno allo studente di acquisire le competenze desiderate. Il pianificatore è stato integrato come servizio offerto dal Personal Reader per l’e-learning, piattaforma per il supporto della didattica, realizzata dal Learning Lab Lower Saxony, di Hannover (Germania). I risultati sono stati presentati in [T1, IW1,C1, C2, IW2].

• L’attività successiva è consistita nello sviluppo di un linguaggio grafico e la sua semantica LTL (Linear-time Temporal Logic) per la descrizione di modelli di curricula di studi. Tale linguaggio consente di rappresentare vincoli temporali tra competenze. L’insieme dei vincoli deter- mina un modello che si desidera venga rispettato dagli specifici curricula, proposti da un’istituzione (rispetto, per esempio, alle direttive della comunità europea) oppure da singoli studenti (rispetto alle linee guida di un’istituzione). Il linguaggio sviluppato si fonda sulla logica lineare temporale (LTL). I singoli curricula da validare sono invece rap- presentati come activity diagram UML. Per effettuare la validazione, gli activity diagram sono tradotti in programmi Promela e verificati tramite il model checker SPIN. Questa parte del lavoro è descritta in [T2,C3,C4, IW3, IJ1].

• Un altro ambito in cui si colloca l’attività di ricerca di Elisa Marengo è quello dei servizi web e dei sistemi multi-agente. In particolare, dato un protocollo di interazione è possibile individuare diversi ruoli, ognuno dei quali deve essere “giocato” da un servizio. In quest’ottica è necessario capire se i diversi “giocatori” che intervengono riusciranno, regolati dal protocollo, a soddisfare i propri goal privati. Il meccanismo proposto, basato sul restringimento di un insieme di tracce di esecuzione ad opera dei diversi servizi coinvolti, è descritto in [IW4].

Per quanto riguarda i sistemi multi-agente, invece, recentemente l’attivit`a

(10)

di ricerca si `e focalizzata sui protocolli di interazione basati su so- cial commitment, introdotti per la prima volta da Munindar P. Singh.

Questi consentono di rappresentare protocolli di interazione in modo flessibile, adattandosi meglio a sistemi multi-agente eterogenei, aperti e in cui gli agenti sono autonomi. Tuttavia, un protocollo non definisce solo le modalità e il vocabolario della comunicazione, tali per cui gli agenti sono in grado di capirsi. Un protocollo deve poter imporre delle vere e proprie regole che gli agenti devono rispettare (ad esempio, per consentire loro di essere tutelati da comportamenti scorretti da parte degli altri agenti). Tali regole devono essere espresse in un formalismo che si adatti a sistemi multi-agente eterogenei, e che mantenga la stessa flessibilità che è possibile ottenere mediante i social commitment. La proposta di una architettura che risponda a queste esigenze è stata descritta in alcuni articoli presso workshop e conferenze internazionali [C5,NC1, IW7, IW6,IW5].

(11)

Elenco delle Pubblicazioni

Elisa MARENGO

nata a Savigliano il 20 settembre 1984, residente a Fossano (CN)

in Loc. San Lorenzo, 85/b, c.a.p. 12045, Tel. 347 – 79 71 741;

cittadinanza italiana;

nubile.

e-mail: [email protected]

home page: http://www.di.unito.it/~emarengo/

Le pubblicazioni sono disponibili all’indirizzo

http://www.di.unito.it/~argo/biblio/publications.php?author=Marengo

Tesi di Laurea Magistrale

[T2] E. Marengo. Curricula di Studi: Modelli e Verifica di Competenze.

Tesi di Laurea, Corso di Laurea in Sistemi per il Trattamento dell’Infor- mazione, Universit`a degli Studi di Torino, Italia, 2008.

Disponibile all’indirizzo:

http://www.di.unito.it/~emarengo/files/tesi.pdf

Tesi di Laurea di primo livello

[T1] E. Marengo. Realizzazione di un Web Service Prolog per la Pianifi- cazione di Curricula di Studi: un Approccio ad Azioni nel Semantic Web.

Relazione di Tirocinio, Corso di Studi in Informatica, Universit`a degli Studi di Torino, Italia, 2006.

Riviste Internazionali

[IJ1] M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti.

Constraint Modeling for Curriculum Planning and Validation.

International Journal of Interactive Learning Environments. Special Is- sue on “Semantic Technologies for Multimedia-enhanced Learning En- vironments”, 2009. To appear.

(12)

Riviste Nazionali

[NJ1] M. Baldoni, and E. Marengo.

Non `e mai troppo tardi 2.0

Articolo invitato per la rivista “Mondo Digitale”, 2010, To appear.

Conferenze internazionali e Lecture Notes in Computer Science (con revisione)

[C5] M. Baldoni, C. Baroglio, and E. Marengo.

Behavior-oriented Commitment-based Protocols.

In H. Coelho and M. Wooldridge, Proc. of 19th European Conference on Artificial Intelligence, ECAI 2010., Lisbon, Portugal, August 2010.

To appear.

[C4] M. Baldoni, C. Baroglio, and E. Marengo.

Curricula Modeling and Checking.

In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Ad- vances in Artificial Intelligence, 10th Congress of the Italian Associa- tion for Artificial Intelligence, volume 4733 of Lecture Notes in Arti- ficial Intelligence (LNAI), pages 471 – 482, Rome, Italy, September 2007. Springer.

[C3] M. Baldoni and E. Marengo.

Curriculum Model Checking: Declarative Representation and Verifica- tion of Properties. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of Second European Conference on Technology Enhanced Learn- ing, EC-TEL 2007, volume 4753 of Lecture Notes in Computer Science (LNCS), pages 432–437. Springer, 2007.

[C2] M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti.

Reasoning-based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.

In E. Duval and R. Klamma, and M. Wolpers, editors, Proc. of Sec- ond European Conference on Technology Enhanced Learning, EC-TEL 2007, volume 4753 of Lecture Notes in Computer Science (LNCS), pages 426–431. Springer, 2007.

(13)

[C1] M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti.

A Personalization Web Service for Curricula Planning and Validation (poster).

In In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007.

Conferenze nazionali (con revisione)

[NC1] C. Baldoni, M. Baroglio and E. Marengo.

Constraints among Commitments: Regulative Specification of Interac- tion Protocols.

In W. Faber and N. Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, CILC 2010, volume 598, Rende, Italy, July 2010. CEUR Workshop Proceedings.

Versione estesa e rivista di [IW6].

Workshop internazionali (con revisione)

[IW7] M. Baldoni, C. Baroglio, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi and A. Santi

MERCURIO: An Interaction-oriented Framework for Designing, Veri- fying and Programming Multi-Agent Systems.

In N. Fornara and G. Vouros, editors, Proc. of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, COIN@MALLOW 2010, Lyon, France.

[IW6] M. Baldoni, C. Baroglio, and E. Marengo.

Constraints Among Commitments: Regulative Specification of Inter- action Protocols.

In A. Artikis, J. Bentahar, A. Artikis, and F. Dignum, editors, Proc.

of International Workshop on Agent Communication, AC 2010, held in conjuction with AAMAS 2010, pages 2–18, Toronto, Canada, May 2010.

[IW5] M. Baldoni, C. Baroglio, and E. Marengo.

Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS.

(14)

In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Proc. of In- ternational Workshop on Declarative Agent Languages and Technolo- gies, DALT 2010, held in conjuction with AAMAS 2010, pages 66–83, Toronto, Canada, May 2010.

[IW4] M. Baldoni, C. Baroglio, E. Marengo, C. Schifanella, and V. Patti.

Joint Achievement of Services’ Personal Goals

In M. Baldoni, C. Baroglio, Bentahar, and V. J. Mascardi, editors, Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW’009, Agents, Web Services and On- tologies, Integrated Methodologies International Workshop (MALLOW- AWESOME’009), volume 494, Turin, September 2009. CEUR Work- shop Proceedings.

[IW3] M. Baldoni, C. Baroglio, G. Berio, and E. Marengo.

Declarative Representation of Curricula Models: an LTL- and UML- based approach

In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mas- cardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34–41, Genova, Italy, September 2007. Seneca Edizioni.

[IW2] M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti.

A Service-Oriented Approach for Curriculum Planning and Validation.

In Proceedings of the Multi-Agent Logics, Languages, and Organi- sations, Federated Workshops, MALLOW’007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME’007, pages 108–123, Durham, GB, September 2007.

[IW1] M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V.

Patti.

A Personalization Service for Curriculum Planning.

In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17–20, Hildesheim, Germany, October 2006.

Rapporti tecnici e deliverables di progetto

[RT1] C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo and V. Patti.

(15)

Testbeds: Overview and State.

Technical Report IST506779/Turin/A3–D10/D/PU/a1. Reasoning on the Web with Rules and Semantics, REWERSE, February 28th, 2007.

Sottoposti a revisione

[S1] M. Baldoni, C. Baroglio, E. Marengo, and V. Patti.

Constitutive and Regulative Specifications of Commitment Protocols:

a Decoupled Approach

Submitted to International Journal of ACM Transactions on Intel- ligent Systems and Technology (ACM TIST). Special Issue on Agent Communication.

Curriculum dell’attivit` a scientifica e didattica

Contents