Home Page of Giulia Battilotti

• Ph.D. in Mathematical Logic & Theoretical Computer Science (Siena, 1997)
  
  
• Ph.D. in Philosophy (Florence, 2009)
  
  
• PostDoc in Mathematical Logic (Padova, 1998-2000, 2004-05 & 2010-11)
  
  
• Maths high-school teacher (Padova, 2001-present)
  
  
• e-mail: giulia[at]math[dot]unipd[dot]it
  
  
  
• brief CV and research     Publications and preprints     Talks    
  
  
• my work on Matte Blanco's Bi-logic     my Google Scholar page
  
  
• Didactics and formation      Theses supervision

Research topics:

• Basic Logic and Substructural Logics - Formal Topology
  
  
• Logics for Quantum Computation - Logics for Theories of Mind