Curriculum Vitae et Studiorum

Massimo Marchiori

1. Cronologia

1988:: consegue il diploma di maturita' scientifica presso il Liceo Scientifico `Ugo Morin' di Mestre, con il massimo dei voti (60/60).
1992-1993:: vince il meritory young scientist contract del CWI, con il quale viene assunto come ricercatore a tempo determinato presso il CWI (Center for Mathematics and Computer Science) di Amsterdam.
1993:: termina gli studi dopo aver conseguito sempre il massimo dei voti durante tutta la durata della laurea (voto minimo: 30/30), e consegue la laurea in Matematica, con una tesi dal titolo ``Programmi logici, Matching e Sistemi di Riscrittura'' (relatore Prof. Livio Colussi, co-relatori Prof. K.R.Apt and J.W.Klop), riportando il punteggio di 110/110 e lode.
1994:: vince i concorsi di dottorato in informatica sia presso l'Universita' di Padova che presso l'Universita' di Siena, scegliendo la prima.
1997:: consegue il Dottorato di ricerca in ``Matematica Computazionale ed Informatica Matematica'', presso l'Universita' di Padova, presentando la tesi intitolata ``Analisi Locale e Localizzazioni'' (relatore Prof. Livio Colussi, co-relatore Prof. Jan Willem Klop).
1997:: viene invitato dal Prof. Arvind al Massachusetts Institute of Technology (MIT), Boston-Cambridge, USA, come Visiting Scientist presso il MIT Lab for Computer Science, lavorando al progetto Bluespec, in collaborazione con Intel.
1998: viene assunto al MIT come Research Scientist presso il World Wide Web Consortium (W3C), sotto la direzione di Tim Berners-Lee, inventore del Web.
2000: viene assunto come ricercatore presso il Dipartimento di Informatica dell'Universita' "Ca' Foscari" di Venezia

2. Awards

1992:: gli viene assegnato il meritory young scientist contract dal CWI
1993:: vince il premio nazionale IBM per l'Information Technology per laureandi meritevoli
1993:: vince la borsa di studio per giovani laureandi meritevoli del CNR, bando 209.01.57.
1995:: il suo articolo "Modularity of Completeness Revisited" vince il best paper award alla conferenza RTA'95
1997:: vince il premio della European Association for Theoretical Computer Science (EATCS) per la miglior tesi di dottorato 1997
1997:: vince il premio per ricerca meritoria della Fondazione Gini.
2003:: insignito della Honoray Lifetime Membership dalla Oxford Society, "in recognition of his life achievements and of his role in the definition of an Xml Query Standard".
2004:: vince il "TR100" award, il premio dato ai migliori 100 giovani innovatori tecnologici al mondo

3. Posizioni di Responsabilita'

1997 - 1999:: viene nominato dalla Comunita' Europea revisore ufficiale, e gli viene affidata la valutazione del progetto industriale WIRE (Web Information Repository for the Enterprise).
1997 - presente:: entra a far parte del comitato IEEE Internet Best Practices Standards (IBPS).
1998 - 2002:: Chief Editor della Privacy Activity nel W3C.
1998:: fonda la Query Languages Activity al W3C, e ne diventa activity leader.
1998 - 2000:: diventa consulente tecnologico per Altavista.
1999 - presente:: diventa project manager del progetto "XML Query" al W3C, con 42 persone in organico.
1999 - presente:: diventa consulente editoriale per MIT Press.
1999 - presente:: diventa consulente tecnologico per Marcus Evans
2000 - presente:: diventa consulente di tecnologie web per il LIACS (Leiden Insitute for Advanced Computer Science), Olanda.
2000 - presente:: diventa consulente tecnologico per Google.
2000 - presente:: diventa consulente tecnologico della Presidenza del Consiglio (Palazzo Chigi)
2001 - presente:: entra nel Semantic Web Coordination Group di W3C.
2001 - presente:: diventa consulente editoriale per McGraw-Hill.
2002 - 2004:: diventa co-responsabile del progetto "Web Ontology (WebOnt)" di W3C.
2002 - presente:: diventa consulente editoriale per Addison-Wesley.
2002 - presente:: diventa consulente per la Comunita' Europea nella Key Action 3: Multimedia, Content, Tools, eContent and Internet.
2002 - presente: diventa consulente tecnico per l'ENEA nel settore della dependability
2004 - presente: entra nell'Executive Committee Board della Network of Excellence europea sul Web Reasoning (REWERSE), di cui e' anche coordinatore per la parte di reasoning-aware querying

4. Comitati di Programma

Ruolo Conferenza

Membro Comitato di Programma Eighth International World Wide Web Conference (WWW8)

Chair Query Languages 1998 (QL'98)

Membro Comitato di Programma Nineth International World Wide Web Conference (WWW9)

Membro Comitato di Programma EuroWeb 2001

Vice-chair Tenth International World Wide Web Conference (WWW10)

Co-chair Financial Protocols 2001

Membro Comitato di Programma First Semantic Web Working Symposium (SWWS-1)

Membro Comitato di Programma First International Semantic Web Conference (ISWC2002)

Membro Comitato di Programma International Conference on Advances in Information and Communication Technology 2002

Vice-chair Eleventh International World Wide Web Conference (WWW2002)

Membro Comitato di Programma Ontologies for Business Information Systems (OntoBIS 2003)

Membro Comitato di Programma KRDB 2003 (Knowledge Representation meets Databases)

Membro Comitato di Programma International Workshop on Semantic Web Reasoning (PPSWR2003)

Membro Comitato di Programma Rules and Rule Markup Languages for the Sematic Web (RuleML'03)

Membro Comitato di Programma Second International Semantic Web Conference (ISWC2003)

Membro Comitato di Programma Sixth International Conference on Information Integration and Web-based Applications & Services (iiWAS2004)

Membro Comitato di Programma International Conference on Web Engineering (ICWE2004)

Membro Comitato di Programma IEEE/ACM International Conference on Web Intelligence (WI 2004)

Membro Comitato di Programma International Conference WWW/Internet 2004 (ICWI 2004)

Membro Comitato di Programma International Workshop on Semantic Web Reasoning (PPSWR2004)

Membro Comitato di Programma Eleventh International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA2004)

5. Stampa e Media

Recensioni stampa riguardanti i lavori di M.Marchiori sono apparse ad esempio su: Newsbytes, InternetWeek, USA Today, The New York Times, Linux Journal, CNET, Associated Press, InfoWorld, The Dallas Morning News, Computerworld, Interactive Week, Internet World, Business 2.0, Reuters, The Washington Post, Wired, TechWeb, Webreview, ZDNet, Forbes.

Per quanto riguarda l'Italia, sono apparse interviste a Massimo Marchiori pubblicate da: Corriere della Sera, Il Sole 24 Ore, Domus, Rai Radiotelevisione Italiana (Sezione Segretariato Sociale), Giornale Radio 1 (GR1), Internet News.

6. Keynotes

Tra i numerosi invited talks, ha presentato invited keynotes ai seguenti eventi:

The International Enterprise Business Summit 1999
Convegno Nazionale sulla Privacy, Pisa, 1999.
IPA 2000
XML Italia 2000
NETTAB 2001 (Network Tools and Applications in Biology)
International Conference on Financial Protocols 2001
International Data Warehouse Summit 2001
Semantic Tour 2003
Int. Conf. on Mathematical Knowledge Management 2003
Int. Conf. on Trust Management 2004
Int. Conf. on Current Research Information Systems 2004
JEITA 2004 (il forum annuale della Japan Electronics and Information Technology Industries Association)

7. Pubblicazioni

7.1 Standard Internazionali W3C

7.1.1 Standards

Massimo Marchiori et al.: ``The Platform for Privacy Preferences 1.0 (P3P1.0) Specification''
The World Wide Web Consortium (W3C), W3C/MIT, 2002.

Massimo Marchiori et al.: OWL Web Ontology Language Overview
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: OWL Web Ontology Language Guide
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: OWL Web Ontology Language Reference
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: OWL Web Ontology Language Semantics and Abstract Syntax
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: OWL Web Ontology Language Test Cases
The World Wide Web Consortium (W3C), W3C/MIT, 2004.
Massimo Marchiori et al.: OWL Web Ontology Language Use Cases and Requirements
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

7.1.2 Standards in fase di definizione

Massimo Marchiori et al.: ``XML Query Requirements'',
The World Wide Web Consortium (W3C), W3C/MIT, 2003.

Massimo Marchiori et al.: ``XML Syntax for XQuery 1.0 (XQueryX)'',
The World Wide Web Consortium (W3C), W3C/MIT, 2003.

Massimo Marchiori et al.: ``XML Query Use Cases'',
The World Wide Web Consortium (W3C), W3C/MIT, 2003.
Massimo Marchiori et al.: ``XPath Requirements Version 2.0'',
The World Wide Web Consortium (W3C), W3C/MIT, 2003.
Massimo Marchiori et al.: ``A P3P Preference Exchange Language (APPEL)'',
The World Wide Web Consortium (W3C), W3C/MIT, 2003.

Massimo Marchiori et al.: ``XQuery 1.0 and XPath 2.0 Data Model'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.
Massimo Marchiori et al.: ``XSLT 2.0 and XQuery 1.0 Serialization'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: ``XQuery 1.0 and XPath 2.0 Formal Semantics'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: ``XQuery 1.0: An XML Query Language'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: ``XQuery 1.0 and XPath 2.0 Functions and Operators''; The World Wide Web Consortium (W3C), W3C/MIT, 2004.

Massimo Marchiori et al.: ``XML Path Language (XPath) 2.0'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.
Massimo Marchiori et al.: ``XML Query and XPath Full-Text Requirements'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.
Massimo Marchiori et al.: ``XML Query and XPath Full-Text Use Cases'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.
Massimo Marchiori et al.: ``XML Query and XPath Full-Text'',
The World Wide Web Consortium (W3C), W3C/MIT, 2004.

7.2 Pubblicazioni su Riviste Internazionali

Manfred Schmidt-Schauss, Massimo Marchiori, Sven Eric Panitz: "Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems"
In Theoretical Computer Science, Elsevier, 1995.

Massimo Marchiori: ``On the modularity of Normal Forms in Rewriting''
In Journal of Symbolic Computation, Academic Press, 1996.

Massimo Marchiori: ``Bubbles in Modularity''
In Theoretical Computer Science, Elsevier, 1997.

Elena Marchiori, Massimo Marchiori, Joost N. Kok: ``A Novel Search Technique for Solving Over-Constrained Problems''.
In International Journal on Artificial Intelligence Tools, World Scientific, 1997.

Massimo Marchiori: ``The Quest for Correct Information on the Web: Hyper Search Engines''
In Computer Networks and ISDN Systems, Elsevier, 1997.

Massimo Marchiori: ``The Limits of Web Metadata, and Beyond''
In Computer Networks and ISDN Systems, Elsevier, 1998.

Massimo Marchiori, Vito Latora: ``Harmony in the Small-World''
In Physica A: Statistical Mechanics and its Applications, Elsevier, 2000.

Vito Latora, Massimo Marchiori: ``Efficient behavior of small-world networks"''
In Physical Review Letters, The American Physical Society, 2001.

Massimo Marchiori, Michael R. Lyu, Mary Ellen Zurko: ``XML''
In Computer Networks, Elsevier, 2002.

Vito Latora, Massimo Marchiori: ``Is the Boston subway a small-world network?''
In Physica A, special issue on "Horizons in Complex Systems", Elsevier, 2002.

P. Crucitti, V. Latora, M. Marchiori, A. Rapisarda: ``Efficiency of Scale-Free Networks: Error and Attack Tolerance''
In Physica A, Elsevier, 2003.
V. Latora, M. Marchiori: "Economic Small-World Behavior in Weighted Networks"
In The European Physical Journal, Elsevier, 2003.
P. Crucitti, V. Latora, M. Marchiori: "A model for cascading failures in complex networks"
In Physica Review E, Elsevier, 2004.
P. Crucitti, V. Latora, M. Marchiori: "A topological analysis of the Italian electric power grid"
In Physica A, Elsevier, 2004.
P. Crucitti, V. Latora, M. Marchiori: "Error and attack tolerance of complex networks"
In Physica A, Elsevier, 2004
S. Fortunato, V. Latora, M. Marchiori: "A Method to Find Community Structures Based on Information Centrality"
In Physica Review E, Elsevier, 2004.

7.3 Pubblicazioni di Atti di Conferenze Internazionali

Massimo Marchiori: "Logic Programs as Term Rewriting Systems"
In Proceedings of the Third International Conference on Algebraic and Logic Programming (ALP'94), LNCS, Springer-Verlag, 1994.

Massimo Marchiori: "Localizations of Unification Freedom through Matching Directions"
In Proceedings of the International Logic Programming Symposium (ILPS'94), The MIT Press, 1994.

Massimo Marchiori: "Modularity of Completeness Revisited"
In Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA'95), LNCS, Springer-Verlag, 1995.

Massimo Marchiori: "The functional side of logic programming"
In Proceedings of the Seventh ACM International Conference on Functional Programming Languages and Computer Architecture (FPCA'95), ACM Press, 1995.

Livio Colussi, Elena Marchiori, Massimo Marchiori: "A Dataflow Semantics for Constraint Logic Programs"
In Proceedings of the Seventh International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'95), LNCS, Springer-Verlag, 1995.

Livio Colussi, Elena Marchiori, Massimo Marchiori: "On Termination of Constraint Logic Programs"
In Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), LNCS, Springer-Verlag, 1995.

Joost N. Kok, Elena Marchiori, Massimo Marchiori, Claudio Rossi: "Constraining of Weights using Regularities"
In Proceedings of the Fourth European Symposium on Artificial Neural Networks (ESANN'96), D Facto Press, 1996.

Joost N. Kok, Elena Marchiori, Massimo Marchiori, Claudio Rossi: "Evolutionary Training of CLP-Constrained Neural Networks"
In Proceedings of the Second International Conference on the Practical Application of Constraint Technology (PACT'96), PAC Press, 1996.

Massimo Marchiori: "Proving Existential Termination of Normal Logic Programs"
In Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology (AMAST'96). LNCS, Springer-Verlag, 1996.

Massimo Marchiori: ``Unravelings and Ultra-properties''
In Proceedings of the Fifth International Conference on Algebraic and Logic Programming (ALP'96), LNCS, Springer-Verlag, 1996.

Elena Marchiori, Massimo Marchiori, Joost N. Kok: ``Forward-Tracking: A Technique for Searching Beyond Failure''
In Proceedings of the Eighth IEEE International Conference on Tools with Artific ial Intelligence (ICTAI'96),, IEEE Press, 1996.

Massimo Marchiori: ``On the Specification of Visual Languages: Multisets as First-Class Citizens''
In Proceedings of the Twentythird International Seminar on Current Trends in Theory and Practice of Informatics, LNCS, Springer-Verlag, 1996.

Massimo Marchiori: ``Let Functions in Logic''
In Proceedings of the Nineth International Symposium in Informatics Applications, LNCS, Springer-Verlag, 1996.

Massimo Marchiori: ``The Quest for Correct Information on the Web: Hyper Search Engines''
In Proceedings of the Sixth International World Wide Web Conference (WWW6) , Elsevier, 1997.

Massimo Marchiori: ``Security of World Wide Web Search Engines''
In Proceedings of the Third International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS'97), Chapman & Hall, 1997.

Massimo Marchiori: ``On Goedel Numberings''
In Proceedings of the Eighth International Conference on Logic and Computer Science, Novi Press, 1997.

Massimo Marchiori: ``The Theory of Vaccines''
In Proceedings of the Twentyfourth International Colloquium on Automata, Languages, and Programming (ICALP'97), LNCS, Springer-Verlag, 1997.

Massimo Marchiori: ``Optimal Encodings''
In Proceedings of the Twentyfourth International Seminar on Current Trends in Theory and Practice of Informatics. LNCS, Springer-Verlag, 1997.

Massimo Marchiori: ``On the Expressive Power of Rewriting''
In Proceedings of the Seventeenth International Conference on the Foundations of Software Technology and Theoretical Computer Science (FST&TCS'97), LNCS, Springer-Verlag, 1997.

Massimo Marchiori: ``Light Analysis of Complex Systems''
In Proceedings of the 1998 ACM International Symposium on Applied Computing (SAC '98), Ada and Software Engineering Track, ACM Press, 1998.

Massimo Marchiori: ``Enhancing Navigation in the World Wide Web''
In Proceedings of the 1998 ACM International Symposium on Applied Computing (SAC '98), World Wide Web Applications Track, ACM Press, 1998.

Massimo Marchiori: ``The Limits of Web Metadata, and Beyond''
In Proceedings of the Seventh International World Wide Web Conference (WWW7), Elsevier, 1998.

Maurizio Gabbrielli, Massimo Marchiori, Frank de Boer: ``Dynamic Web Sites''
In Proceedings of Query Languages 1998 (QL'98), MIT Press, 1998.

Massimo Marchiori, Janne Saarela: ``Query + Metadata + Logic = Metalog''
In Proceedings of Query Languages 1998 (QL'98), MIT Press, 1998.

P. Crucitti, V. Latora, M. Marchiori, A. Rapisarda: ``Complex Systems: Analysis and Models of Real-Networks''
In Proceedings of the International Conference on Energy Transfer in Biological Systems, World Scientific Press, 2002.

M. Marchiori: ``The Mathematical Semantic Web''
In Proceedings of the International Conference on Mathematical Knowledge Management, LNCS, Elsevier, 2003.
M. Marchiori: ``Towards a People's Web: Metalog''
In Proceedings of the IEEE/ACM International Conference on Web Intelligence (WI 2004), IEEE Press, 2004.

7.4 Pubblicazioni di Atti di Workshop Internazionali

Livio Colussi, Elena Marchiori, Massimo Marchiori: ``Combining logic and control to characterize global invariants of Prolog programs''
In Proceedings of the International Workshop on Verification and Analysis of Logic Languages, VU Press, 1994.

Paolo Frigo, Massimo Marchiori: ``Implementing Prolog Programs Free from Unification''
In Proceedings of the Tenth International Logic Programming Workshop (WLP'94), IFI Press, 1994.

7.5 Pubblicazioni di Atti di Conferenze Nazionali

Livio Colussi, Elena Marchiori, Massimo Marchiori: ``A Dataflow Semantics for Constraint Logic Programs''
In Proceedings of the Second Joint Conference on Declarative Programming (GULP-PRODE'95), Poligraph Press, 1995.

Massimo Marchiori: ``La sfida della Privacy in Italia, e P3P''
In Atti del Convegno Nazionale sulla Privacy, 1999.

Massimo Marchiori: ``XML per la Pubblica Amministrazione''
In Atti del Forum della Pubblica Amministrazione (Forum P.A.) 2000.

Massimo Marchiori: ``Data on the Web: A W3C Perspective''
In Atti del Nono Convegno Nazionale su Sistemi Evoluti Per Basi di Dati, 2001.

Massimo Marchiori, Vito Latora: ``Vulnerability of Critical Infrastructures''
In Atti del Convegno ENEA 2002 sulle Infrastrutture Critiche

7.6 Pubblicazioni Varie

M. Marchiori et al.: ``Knowledge Technologies - Perspectives for 2012''
European Commission KA3 Strategic Report, 2002.

V. Latora, M.Marchiori: ``The Architecture of Complex Systems''
Capitolo del libro Studies of Complexity, Oxford University Press, 2002.

Massimo Marchiori: "Il Web Semantico"
Articolo in PC Professionale, Mondadori, 2003.

Ruolo	Conferenza
Membro Comitato di Programma	Eighth International World Wide Web Conference (WWW8)
Chair	Query Languages 1998 (QL'98)
Membro Comitato di Programma	Nineth International World Wide Web Conference (WWW9)
Membro Comitato di Programma	EuroWeb 2001
Vice-chair	Tenth International World Wide Web Conference (WWW10)
Co-chair	Financial Protocols 2001
Membro Comitato di Programma	First Semantic Web Working Symposium (SWWS-1)
Membro Comitato di Programma	First International Semantic Web Conference (ISWC2002)
Membro Comitato di Programma	International Conference on Advances in Information and Communication Technology 2002
Vice-chair	Eleventh International World Wide Web Conference (WWW2002)
Membro Comitato di Programma	Ontologies for Business Information Systems (OntoBIS 2003)
Membro Comitato di Programma	KRDB 2003 (Knowledge Representation meets Databases)
Membro Comitato di Programma	International Workshop on Semantic Web Reasoning (PPSWR2003)
Membro Comitato di Programma	Rules and Rule Markup Languages for the Sematic Web (RuleML'03)
Membro Comitato di Programma	Second International Semantic Web Conference (ISWC2003)
Membro Comitato di Programma	Sixth International Conference on Information Integration and Web-based Applications & Services (iiWAS2004)
Membro Comitato di Programma	International Conference on Web Engineering (ICWE2004)
Membro Comitato di Programma	IEEE/ACM International Conference on Web Intelligence (WI 2004)
Membro Comitato di Programma	International Conference WWW/Internet 2004 (ICWI 2004)
Membro Comitato di Programma	International Workshop on Semantic Web Reasoning (PPSWR2004)
Membro Comitato di Programma	Eleventh International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA2004)