Current research

• Formal algebraic topology (with B. Gerla and F. Gobbo)
• Properties of metric spaces via constructive topology (with P. Schuster)
• Mathematical models for network security assessment (with S. Sicari)
• Computational linguistics from the point of view of Constructive Mathematics (with F. Gobbo)
• Theory of topoi and applications (following the ideas of O. Caramello)

Seminars

• [+] [-] The theory of topoi at Seminario di logica
  My contributions are the following

  Bundles, Presheaves and Sheaves

  • First seminar page 1 page 2 page 3 page 4 page 5 page 6 page 7 page 8 page 9 page 10 page 11 page 12 page 13
  • Second seminar page 1 page 2 page 3 page 4 page 5 page 6 page 7 page 8 page 9 page 10 page 11 page 12
  • Third seminar page 1 page 2 page 3 page 4 page 5 page 6 page 7 page 8 page 9 page 10 page 11
• [+] [-] Typed λ-calculi

  Lectures

  • Lecture 1: page 1, page 2
  • Lecture 2: page 1, page 2, page 3
  • Lecture 3: page 1, page 2, page 3, page 4, page 5, page 6
  • Lecture 4: page 1, page 2, page 3, page 4
  • Lecture 5: page 1, page 2, page 3, page 4, page 5
  • Lecture 6: page 1, page 2, page 3
  • Lecture 7: page 1, page 2, page 3, page 4

  Participants

  • Federico Gobbo
  • Ettore Brocca

Memberships

• Association for Symbolic Logic
• The PASCAL network
• IEEE
• Computability in Europe
• Dottorato di Ricerca in Informatica, Università degli Studi dell'Insubria, PhD coordination committee
• Centro di Ricerca "Informatica Interattiva", Scientific committee

Conferences and Journals

• Scientific board of InKoj. Interlingvistikaj Kajeroj. (from 2010)
• Program committee of ADAPTIVE 2010 The Second International Conference on Adaptive and Self-adaptive Systems and Applications. (2010)
• Program committee of TRESSS – Trust, Recommender Systems and User Models for Social Search and Web-logs Analysis A workshop of WI-IAT 2010, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (2010)
• Program committee of Rivista Italiana di Filosofia Analitica jr. (from 2010)
• Reviewer for IETE Technical Review (from 2009)
• Technical program committee of S-CUBE 2009
• Technical program committee of SELFTRUST 2009
• Reviewer for the Journal of Computer Networks (from 2008)