|
|
 |
|
|
|
|
|
-----------------
-----------------
|
|
@-mail: patti[at]di.unito.it
---------------------------
 : +39 011 6706804
---------------------------
fax: +39 011 751603
|
|
|
|
|
|
|
|
Dipartimento di Informatica - Università di Torino - Corso Svizzera 185 10149 Torino |
|
Short
bio |
Research |
|
- 1996: Degree summa cum laude
in Philosophy
at University of Torino, Italy
- 1997-2002: PhD studies in Computer
Science at
Dipartimento di Informatica, University of Torino, Italy.
- 2002, february: Phd dissertation
on Programming Rational
Agents: a Modal Approach in a Logic Programming Setting
- 2003-2004: Post-Doc at Dipartimento
di Informatica-LP &
AR group -University of Torino, Italy
- Since 2005: Researcher at Computer
Science Department of
University
of Torino (Italy).
- Feb 2006-Jan 2007-April 2008-Dec 2009: visiting researcher at the
Institut für Verteilte Systeme-Fachgebiet Wissensbasierte Systeme (KBS) & L3S, University of Hannover, DE.
- October 2007: visiting researcher at the Department of Computer Science,
North Carolina State University, Raleigh, USA.
|
- interoperability and conformance verification in presence of interaction protocols
- (semantic) web services and formal methods for selection and composition
- choreography-driven matchmaking
- web-based education courseware and curricula
- capturing semantics in social tagging systems
- reasoning enabling personalization in the semantic web
- computational logics for agent programming
- knowledge representation and computational
logic
- reasoning about actions and change
- modal and nonmonotonic extensions of logic
programming
- Publications: listed by categories (International Journals-Chapters in Books-International Conferences and Lecture Notes...)
- Publications: listed by year (most recent first)
|
|
|
|
|
|
|
|
Current
& Past Projects |
Committees
& Associations |
|
- 1998-2000: Agenti intelligenti: interazione e acquisizione di conoscenza,
task 'Agent System Architectures and Reasoning Techniques' (cofin MURST
national project); coordinator Prof. F. Turini (U. of Pisa).
- 2003-2004: Sviluppo e verifica di sistemi multi-agente basati sulla logica
(MIUR PRIN national project); coordinator: A. Martelli, U. of Turin.
- 2005-2007: Specification and verification of agent interaction protocols,
MIUR PRIN national project; Coordinator: A. Martelli, U. of Turin.
- 2004-2008:
 :
"Network of Excellence" of
the 6th Framework Programme of the EU Commission about REasoning
on the WEb with Rules and SEmantics. Coordinator: F. Bry, U. of Munich.
- 2007-2009: Capturing Semantics in Social Tagging Systems,
funded by MIUR, Ateneo Italo-Tedesco and DAAD through the Vigoni Program. Coordinators: Prof.ssa C. Baroglio (Italy), Prof. N. Henze (Germany).
Since 2007: co-founder and vice-president of the Associatione Culturale Arsmeteo which leads and supports the development of ARSMETEO (www.arsmeteo.org), a portal for sharing artworks based on Web 2.0 technologies, which allows art tagging and tag-based browsing.
|
- PC member (2009-2010):
-I-semantics 2010: 1-3 September 2010, Graz, Austria 
Deadline:
March 8, 2010
-WEBIST 2010: 4 - 7 April, 2010 valencia, Spain.
-SMAP 2009: 4th International Workshop on Semantic Media Adaptation and Personalization, December 14-15, 2009, San Sebastian, Spain
-MALLOW-AWESOME'009: Sept. 2009, Torino, Italy
-IADIS WWW/Internet 2009 Conference, 5-8 November 2009, Rome, Italy.
- Member of AI*IA
- Member of the Italian
Chapter of EATCS
|
|
|
|
|
|
|
|
| Teaching: 2009/ 2010 (italian) |
Teaching:
2008/09 (italian) |
|
|
|
|
