Curriculum vitae

Fabio Vitali

Curriculum studiorum

Nato il 16 giugno 1965 a Bologna

1984 Maturità classica (Liceo Ginnasio L. Galvani di Bologna).

1990 Laurea in Matematica (Università di Bologna).

1994 Titolo di Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica (Università di Bologna)

1994 Borsa di studio presso il CIRFID (Centro Interdipartimentale di Ricerca in Filosofia del Diritto ed Informatica Giuridica "Hans Kelsen" dell'Università di Bologna) nell'ambito del progetto ESPRIT #6763.

1995 Borsa di studio post-dottorato biennale presso il dipartimento di Matematica dell'Università di Bologna

1996 Visiting Scholar al New Jersey Institute of Technology in Newark (NJ, USA).

1997 Ricercatore alla facoltà di Scienze MM. FF. NN., Università di Bologna.

Interessi scientifici

Si interessa di gestione della documentazione nel processo software, in particolare di visualizzazione ipertestuale della documentazione.

Si occupa di linguaggi di markup, in particolare XML, per l'editoria, lo scambio elettronico di dati, la visualizzazione di documenti complessi e strutturati in rete. Si interessa anche di standard per la documentazione e la descrizione di fenomeni complessi.

Si occupa di interazione uomo-macchina, in particolare della progettazione dell’interazione di sistemi basati sul World Wide Web, e della progettazione di siti Web.

Si occupa di sistemi ipertestuali. In particolare si interessa di sistemi ipertestuali di grandi dimensioni (hyperbase), della loro distribuzione su reti geografiche e dei gradi di interattività che questi possono offrire agli utenti.

Si occupa di sistemi di versionamento di documenti testuali, HTML, SGML, ed XML per il supporto di attività di collaborazione assistita dall'elaboratore.

Si interessa di linguaggi di coordinazione e della loro applicabilità a sistemi distribuiti su larga scala.

Partecipazione a progetti ed altre attività scientifiche

2000 Consulente scientifico su argomenti connessi con i linguaggi di markup per l'Istituto per le Applicazioni Tecnologiche (IAT) del CNR di Pisa.

2000 "Hypermedia chunk clusterer", progetto di ricerca per interfacce innovative basate su XMLe approccio ipertestuale all'interazione con il supporto di Microsoft Research

1999-2000 Realizzazione della nuova versione del sito della Facoltà di Scienze Matematiche, Fisiche e Naturali dell’Università di Bologna, con un finanziamento dell’Ufficio Relazioni con il Pubblico dell’Università stessa.

1998 "Technologie Monitoring zum Theme: Hypertext Support for Software Process Document Management Systems", joint research con Daimler-Chrysler

1996 "Electronic Enterprise Engineering Research Group", New Jersey Institute of Engineering

1996 Open LTR Project 20179, "PageSpace"

1992 Progetto ESPRIT nº 6763 "Document Logistics"

1990 Unità Operativa "HYDRA", sottoprogetto 7, "Sistemi di supporto al lavoro intellettuale", del Progetto Finalizzato CNR "Sistemi Informatici e Calcolo Parallelo".

Attività organizzative

Membro del working group 6.4 dell'IFIP, "Internet Applications Engineering", http://www.ifip.tu-graz.ac.at/TC6/.

Membro del comitato di programma della X International World Wide Web Conference (http://www.www10.org/), Hong Kong, maggio 20001.

Membro del comitato di programma della serie di conference XML Italia, 1999 e 2000 (http://www.xml.it/). Nel 1999 è anche stato General Chair.

Membro del comitato scientifico della serie Workshop su Hypertext Functionality (http://www.cs.nott.ac.uk/~hla/HTF/ ed è stato Co-Chair del IV (VII Int. WWW Conference, Brisbane, AU, 1998) e del VII (VIII Int. WWW Conference, Toronto, CA, 1999).

Co-editor della special section su "Web Information Systems", Communications of the ACM, 41(7), July 1998

Speaker invitato al panel dal titolo "Things change: deal with it! Versioning, cooperative editing and hypertext", alla VII ACM Conference on Hypertext, Washington DC.

Co-chair dei seguenti Workshop sul versioning: "The Role of Versioning in CSCW Applications" ECSCW95 Conference, Stoccolma (S), 1995, e "Versioning Systems and Hypertext Systems" (ACM Echt94 Conference), Edinburgo (UK), 1994.

Attività didattica

2000- : Incarico didattico per il corso di "Elaborazione dell'Informazione Non Numerica", Corso di Laurea in Scienze dell'Informazione (sede di Cesena), Università degli Studi di Bologna

1999- : Incarico didattico per il corso di "Interazione Uomo-Macchina", Corso di Laurea in Informatica, Università degli Studi di Bologna.

1998 : Assistente presso i corsi congiunti di "Sistemi Operativi" e "Laboratorio 2" del Corso di Laurea in Informatica, Università degli Studi di Bologna

1997-1998 : Assistente presso il corso di "Informatica Generale", Corso di Laurea in Scienze della Comunicazione, Università degli Studi di Bologna

1997 : Assistente presso il corso di "Interazione Uomo-Macchina", Corso di Laurea in Informatica, Università degli Studi di Bologna.

1997 : Assistente presso i corsi congiunti di "Programmazione" e "Laboratorio 1", Corso di Laurea in Informatica, Università degli Studi di Bologna.

1992-1995 : Attività seminariale presso il corso di "Elaborazione dell'Informazione Non Numerica", Corso di laurea in Scienze dell'Informazione, Università degli Studi di Bologna.

1992-2000 : Correlatore di circa 30 tesi di laurea in Scienze dell'Informazione e Informatica.

Bibliografia

    Articoli su riviste internazionali (con reviewer)

  1. P. Ciancarini, D. Rossi, F. Vitali, 'Designing a document-centric coordination application over the Internet', Interacting with Computers, Elsevier, 2001, accepted for publication.
  2. F. Vitali, L. Bompani, P. Ciancarini, 'Hypertext functionalities with XML', Markup Languages: Theory and Practice, MIT Press, 2001, accepted for publication.
  3. F. Vitali, 'Versioning Hypermedia', ACM Computing Survey 31 (4es), 1999.
  4. F. Vitali, M. Bieber, 'Hypermedia on the Web: What Will It Take?', ACM Computing Survey 31 (4es), 1999.
  5. P. Ciancarini, F. Vitali, C. Mascolo, 'Managing complex documents over the WWW: a case study for XML', IEEE Transactions on Knowledge and Data Engineering 11 (4), 1999, p. 629-638.
  6. P. Ciancarini, R. Tolksdorf, F. Vitali, D. Rossi, A. Knoche, 'Coordinating Multiagent Applications on the WWW: a Reference Architecture', IEEE Transactions on Software Engineering 24 (5), 1998, p. 362-375.
  7. T. Isakowitz, M. Bieber, F. Vitali, 'Web Information Systems. Introduction to the Special Issue', Communications of the ACM 41 (7), 1998, p. 78-80.
  8. P. Ciancarini, A. Rizzi, F. Vitali, 'An extensible rendering engine for XML and HTML', Computer Networks and ISDN Systems 30 (1-7), Elsevier, 1998, p. 225-238.
  9. M. Bieber, F. Vitali, H. Ashman, V. Balasubramanian, H. Oinas-Kukkonen, 'Fourth Generation Hypertext: Some Missing Links for the World Wide Web', International Journal of Human-Computer Studies 47, Academic Press, 1997, p. 31-65. Also as Research Report CIS-97-02, New Jersey Institute of Technology.
  10. F. Vitali, C. Chiu, M. Bieber, 'Extending HTML in a principled way with displets', Computer Networks and ISDN Systems 29 (8-13), Elsevier, 1997, p. 1115-1128.
  11. J. Slein, F. Vitali, E. Whitehead, Jr., D. Durand, 'Requirements for Distributed Authoring and Versioning on the World Wide Web', ACM StandardView 1 (5), 1997, p. 17-24. Also as IETF RFC 2291.
  12. M. Bieber, F. Vitali, 'Toward Support for Hypermedia on the World Wide Web', IEEE Computer 30 (1), 1997, p. 62-70.
  13. P. Ciancarini, A. Knoche, R. Tolksdorf, F. Vitali, 'PageSpace: An Architecture to Coordinate Distributed Applications on the Web', Computer Networks and ISDN Systems 28 (7-11), Elsevier, 1996, p. 941-952.
  14. F. Vitali, D. Durand, 'Using versioning to support collaboration on the WWW', World Wide Web Journal 1 (1), O'Reilly, 1994, p. 37-50.
  15. C. Maioli, S. Sola, F. Vitali, 'External Anchoring for Wide-Area Network Support: the RHYTHM project', International Journal of Modern Physics C - Physics and Computers 5 (5), World Scientific, 1994, p. 769-783.

    16. Parti di libri internazionali (con reviewer)

  16. L. Bendix, A. Dattolo, F. Vitali, 'Software Configuration Management in Software and Hypermedia Engineering: a survey', Handbook of Software Engineering and Knowledge Engineering (S. K. Chang eds.), World Scientific Publishing, Co., accepted for publication.
  17. L. Bompani, P. Ciancarini, F. Vitali, 'Software Engineering and the Internet: a Roadmap', Software Engineering over the Internet (A. Finkelstein eds.), ACM Press.
  18. P. Ciancarini, R. Tolksdorf, F. Vitali, 'The World Wide Web as a Place for Agents', Advances in Artificial Intelligence (M. Veloso and M. Woolridge eds.), in LNAI 1600, Springer-Verlag, p. 175-194.

    19. Articoli su conferenze internazionali (con reviewer)

  19. F. Vitali, 'Hypertext Functionalities with XML', Extreme Markup Language 2000, Montreal (CA), Aug 2000.
  20. L. Bompani, P. Ciancarini, F. Vitali, 'Sophisticated hypertext functionalities for software engineering', 3rd Workshop on Software Engineering over the Internet, ICSE 2000, Limerick, Jun 2000.
  21. L. Bendix, F. Vitali, 'VTML for fine-grained change tracking in editing structured documents', 9th International Symposium on System Configuration Management (SCM-9), Toulouse, Sep 1999, in LNCS 1675, Springer Verlag, p. 139-156.
  22. D. Rossi, F. Vitali, 'Internet-based Coordination Environments and Document-Based Applications: a Case Study', Proc. Int. Conf. on Coordination Models and Languages, Amsterdam, Apr 1999, in LNCS 1594, Springer-Verlag, p. 259-274.
  23. P. Ciancarini, D. Rossi, F. Vitali, 'A case study in designing a document-centric coordination application over the Internet', Proc. Workshop on the Active Web, Stafford, UK, Jan 1999, p. 41-56.
  24. P. Ciancarini, C. Mascolo, F. Vitali, 'Visualizing Z Notation in HTML Documents', Proc. 11th Int. Conf. on the Z Formal Method (ZUM), Berlin, Sep 1998, in LNCS 1493, Springer-Verlag, p. 81-95.
  25. P. Ciancarini, D. Rossi, F. Vitali, 'The World Wide Web as a Place to Work in', Proc. 7th IEEE Workshops on Enablings Technologies: Infrastructure for Collaborative Enterprises (WETICE), Stanford, CA, Jun 1998, IEEE Computer Society Press, p. 118-125.
  26. R. Scherl, M. Bieber, F. Vitali, 'A Situation Calculus Model of Hypertext', Proc. 31st HICSS Conf., Wailea (HA), Jan 1998, IEEE Computer Society Press.
  27. P. Ciancarini, A. Knoche, D. Rossi, R. Tolksdorf, F. Vitali, 'Redesigning the Web: From Passive Pages to Coordinated Agents in PageSpaces', Proc. 3rd IEEE Int. Symp. on Autonomous Decentralized Systems (ISADS), Berlin, Apr 1997, IEEE Computer Society Press, p. 377-384.
  28. P. Ciancarini, A. Knoche, D. Rossi, R. Tolksdorf, F. Vitali, 'Coordinating Java Agents for Financial Applications on the WWW', Proc. 2nd Int. Conf. on Practical Applications of Intelligent Agents and MultiAgent Technology (PAAM), London, UK, Apr 1997, p. 179-193.
  29. M. Bieber, M. Bartolacci, J. Fjermestad, F. Kurfess, Q. Liu, . Nakayama, A. Rana, R. Scherl, M. Tanik, F. Vitali, J. Wang, R. Yeh, P. Ng, R. Sweeney, 'Electronic Enterprise Engineering - An Outline of an Architecture', Proc. ECBS '97, Monterey, CA, Mar 1997.
  30. M. Bieber, F. Vitali, H. Ashman, V. Balasubramanian, H. Oinas-Kukkonen, 'Some Hypermedia Ideas for the WWW', Proc. 30th HICSS Conf., Wailea (HA), Jan 1997, IEEE Computer Society Press, p. 309-319.
  31. P. Ciancarini, D. Rossi, F. Vitali, A. Knoche, R. Tolksdorf, 'Coordination Technology for the WWW', Proc. 5th IEEE Workshop on Enabling Technology: Infrastructure for Collaborative Enterprises (WETICE), Stanford, Ca, Jun 1996, IEEE Computer Society Press, p. 321-326.
  32. P. Ciancarini, R. Tolksdorf, F. Vitali, 'Weaving the Web using Coordination', Proc. 1st Int. Conf. on Coordination Models and Languages, Mar 1996, in LNCS 1061, Springer-Verlag, p. 411-415.
  33. C. Maioli, S. Sola, F. Vitali, 'Versioning for Distributed Hypertext Systems', Proc. Hypermedia '94, Pretoria (South Africa), Mar 1994.
  34. C. Maioli, W. Penzo, S. Sola, F. Vitali, 'Using a Reference Model for Information System Compatibility: an Experience', Proc. 27th HICSS Conf., Wailea (HA), Jan 1994.
  35. C. Maioli, S. Sola, F. Vitali, 'Wide-Area Distribution Issues In Hypertext Systems', Proc. ACM SIGDOC '93 Conference, Kitchener (Canada), Oct 1993, ACM Press.
  36. L. Bompani, F. Vitali, 'Providing hypertextual functionalities with XML', Short Paper, Hypertext 2000 Conference, San Antonio (TX), May 2000.