Giulia Battilotti: scientific curriculum

Personal information

Born in Thiene (VI) on April 3, 1963. Married and mother of Marianna (1995) and Elisa (2000).

Education

First degree in Mathematics, 1990 at the University of Padova.
Ph.D. in Mathematical Logic and Theoretical Computer Science, University of Siena, 1997, with the dissertation:
"Basic Logic through the reflection principle", advisor Prof. G. Sambin (Padova).
Ph.D. in Philosophy, University of Firenze, 2009, with the dissertation:
"A paraconsistent and predicative logical calculus in the framework of quantum computation", advisor Prof. M.L. Dalla Chiara (Firenze).

Positions

Research fellowship at the Dept. of Mathematics, University of Amsterdam, 1992 (supervisor Prof. A. Troelstra).
Ph.D. student in Mathematical Logic and Theoretical Computer Science, University of Siena, 1993-1996.
Post-doc fellowship at the Dept. of Pure and Appl. Math., University of Padova, 1998-2000.
"Assegno di Ricerca" (PostDoc) on the project: "Logical tools for quantum information" (coord. G. Sambin, C. Faggian), University of Padova, May 2004 - May 2005.
Ph.D. student in Philosophy, University of Firenze, 2006-2008.
"Assegno di Ricerca" (PostDoc) on the project: "Logical tools for quantum computation" (coord. G. Sambin), University of Padova, July 2009 - July 2011.
High School teacher of Mathematics, 2001-present (with interruptions for maternity leaves, the second Ph.D. and the PostDoc periods).

Scientific activity

I am author of 19 papers and a book chapter (in the Handbook of Philosophical Logic) and I have given 49 talks/seminars at national and international conferences and university departments
(the references P correspond to the papers and book chapters, Th to the Ph.D. theses, R to the technical reports, and T to the list of talks)

Pointless topology: presentation of infinitary structures by generators and relations in a constructive framework; cf. [P7, T9].
Application of "Basic pairs" to quantum mechanics; cf. [R2-T22].
Basic logic and substructural logics: definition of "Basic Logic" as a platform to study extensional logics.
Meaning of symmetry in sequent calculus, the role of contexts in sequents.
Principle of reflection as semantics of logical connectives.
Construction of sequent calculi for quantum logic; cf. [P1-4, Th1, T1-8/18/25-26/33/35].
Logics for quantum computation: sequents for quantum computation via basic logic.
Semantics of logical connectives in quantum mechanics, random variables as first order variables.
Representation of quantum correlations.
Models for negation: duality, symmetry and the spin model of quantum mechanics; cf. [P5-6/8-11-14/17, Th2, R1, T10-14/18/20-23/25-27/30-33/38/40].
Logics and psychology (inspired by quantum theories of mind): how quantum logical models could correspond to models of mind.
Correspondence with "Bi-logic" by I. Matte Blanco.
Considerations about the role of consciousness in logical judgements; cf. [P8/12-19, Th2, T15-17/19/24/28-29/34/36/37/39/41-49].