Beatrice CAPITANI

Curriculum vitae

Beatrice Capitani nasce a Siena il 3 febbraio 1969. Dopo la maturità scientifica si iscrive all’Università di Siena dove consegue la laurea in matematica a pieni voti il 12 Luglio 1993 con una tesi dal titolo “La Teoria delle Dimostrazioni”.

  • Nel febbraio 1997 vince il concorso di Dottorato di Ricerca in Logica Matematica e Informatica Teorica presso il Dipartimento di Matematica dell’Università di Siena.
  • Nel 1998 partecipa al XVIII Incontro di Logica Matematica, Pontignano (SI), 27-30 aprile, con una comunicazione dal titolo: “Un Calcolo di Deduzione Naturale Equivalente alla Intersection Type Theory”.
  • Nel 2000 partecipa al XX Incontro di Logica Matematica, Ravello (SA), 25-28 settembre, con una comunicazione dal titolo: “A Logical Characterization of the Intersection Type Theory”.
  • L’anno successivo partecipa a ICALP 2001, Workshop on Bhom Tree, Creta, con una comunicazione dal titolo: “Hyperformulae, Parallel Deductions and Intersection Types”.
  • Il 25 gennaio 2002 consegue il titolo di Dottore di Ricerca con una tesi dal titolo “A Logical Characterization of the Intersection Type Theory”.
  • Nel 2004 la tesi di Dottorato diviene un Preprint (n. 464) del Dipartimento di Scienze Matematiche e Informatiche “Roberto Magari”, Università degli Studi di Siena
  • Nel 2009 collabora come consulente alla stesura del libro di testo “Protagonisti dell’era digitale. Manuale per un uso consapevole delle nuove tecnologie”, di Emanuela Zilio, edito da Bruno Mondadori.
  • Nel 2010 pubblica sulla rivista online del portale FornareNetwork (ISSN 2037-0628) l’articolo “I videogiochi e la matematica: nuove frontiere per la didattica nella scuola primaria”.
  • Dal 2002 è docente a contratto presso l’Università degli Studi di Siena per vari corsi di Informatica di Base, Basi di Dati, Analisi Matematica, Algebra Lineare, Ricerca Operativa, Informatica Applicata, Matematica Generale.
  • Attualmente si occupa di λ-calcolo tipato per la teoria dei tipi Intersezione e dei tipi unione e di didattica della matematica.
  • Dal 22 Agosto 1994 lavora presso il Consorzio Operativo del Gruppo Monte dei Paschi di Siena come tecnico informatico dove si occupa di attività sistemistiche quali manutenzione e configurazioni di sistemi Linux.