Back to Giulia's Home Page
Giulia Battilotti: scientific curriculum
Personal information
- Born in Thiene (VI) on April 3, 1963. Married and mother of two
children.
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 the second Ph.D. and the PostDoc periods).
Scientific activity
I am author of 14 papers and a book chapter (in the Handbook of
Philosophical Logic) and I have given 45 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/2/3/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/15, 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-14/16, Th2,
T15-17/19/24/28-29/34/36/37/39/41-45].