Curriculum Vitae

Dr. Stefano Cavagnetto

Current Head of the Schools of Computing and Business at Prague College. Co-
founder and Head of the Prague College Research Centre (PCRC). Founder and
Chief Editor of the quarterly Bulletin of the PCRC. Programme Leader for MSc
International Management at Prague College.

Principal Lecturer in Programming Language Concepts, Interactive Media Design

and Authoring, Statistics and Advanced Statistics, and lecturer of Management
Research and Dissertation courses in the MSc International Management at
Prague College.

Teaching and other activities:

- Researcher (PhD) at the Institute of Mathematics of the Academy of Sciences of

Czech Republic (2004 – 2008).
- Visiting lecturer at the Isaac Newton Institute of Cambridge for the program
Logic and Algorithms, in February, March, April 2006.
-Visiting lecturer at the Institute of Mathematics of Prague of the Academy of
Sciences of Czech Republic, 2004.
-Lecturer for the Masters Degree in Communication and Multimedia at the
Polytechnic of Turin, (UNI.VER) in Vercelli 2004.
-Assistant professor for the course of Logic at Amedeo Avogadro University, 2004.
-Winner of annual scholarship BIVERBANCA for Research at Amedeo Avogadro
University, 2003.
-Tutor for the Logic course at Amedeo Avogadro University in 2003.
-Visiting Scholar at Columbia University, NY, 2002.

Talks and tutorials delivered:

- The Code of Coal, EU Underground City Project, Prague College, in Prague 2010.
- Morality and artificial Agents in Cyberspace, EU Underground City Project,
Prague College, in Prague 2010, (joint lecture with Bruce Gahir).
- Fractal geometry: algorithm and beauty, PC Studios, in Prague 2010.
- Learning and barriers to learning, Prague College, in Prague, 2010.
- Teaching Methods and classroom management: an introduction, Prague College,
in Prague, 2009.
- The Conception of Self in Multiple Cyber Worlds, Cyberspace Conference, in
Brno, 2009.
- Euclid's Elements, at Institute of Mathematics, in Prague, 2008.
- Ancient Logic: Medieval Logic, at Institute of Mathematics, in Prague, 2008.

1
- Ancient Logic: Aristotle and the Stoics, at Institute of Mathematics, in Prague,
2008.
- The Earliest Greek Mathematics, at Centre for Theoretical Studies, in Prague,
2008.
- String Rewriting and Proof Complexity, Institute of Computer Science, in Prague,
2007.
- Kreisel's conjecture and speed-up Theorem, at Logic Colloquium, in Athens,
2005.
- Goedel speed-up Theorem and a conjecture by Kreisel, at Czech-Catalan
Conference in Mathematics, in Prague, 2005.
- Kreisel's conjecture: a survey, at Institute of Mathematics, in Prague, 2004.
- Deontic Logic and Moral Philosophy, at Amedeo Avogadro University, in Vercelli,
1999, 2000.

Main organizer and/or co-organizer of the following tutorials, seminars

and academic activities:

- Promoter and co-organizer of the High School mathematics competition at

Prague College, for International (English speaking) high schools in Prague, 2010.
- Co-organizer of the series of seminars for the Teacher Development and Training
at Prague College, 2009 - 2010.
- Participation in the organization of UCXXI Prague Workshop 2009, PC Studios,
2010.
- Participation in the organization of UCXXI Prague Workshop 2009, PC Studios,
2009.
- Seminars on Metalogic held by Prof. Andrea Iacona (University of L'Aquila), 2002.
- Seminars on Modal Logic held by Prof. Andrea Iacona (University of L'Aquila),
2002.
- Tutorials on Artificial Intelligence, logic problems and perspectives held by Prof.
Carlo Penco (University of Genova), 2001.
- Introductory tutorials on Game Theory held by Prof. Lorenzo Sacconi (University
of Milan), 2000.

Publications
Articles and Reviews

- Games and computational complexity, under preparation.

- Games as formal systems, under preparation.
- Cellular automata and the Game of Life, Bulletin of Prague College Research
Centre, (2010), (1), pp. 23-28 (joined paper with Pascal Silondi and Bruce Gahir).
- Pluralistic Virtue Ethics and the Corporate Community, Bulletin of Prague College
Research Centre, (2010), (1), pp. 23-28 (joined paper with Bruce Gahir).
- The Conception of Self in Multiple CyberWorlds, to appear in MUJLT.
- The Lengths of Proofs: Kreisel's conjecture and Goedel's speed-up theorem, to
appear in Notes of Mathematical Seminars of St. Petersburg Department of

2
V.A.Steklov Institute of Mathematics and in Journal of Mathematical Sciences,
special volume devoted to the Fields Medal Yuri Matiyasevich.
- Applications of Propositional Logic to Cellular Automata, in Mathematical Logic
Quarterly, (2009), vol. 55, pp. 600-616.
- String Rewriting Systems and Proof Complexity: an interpretation of Resolution,
in Reports on Mathematical Logic, (2009), vol. 44, pp. 167-200.
- Speed-up theorem and Kreisel's conjecture, (abstract) Bulletin of Symbolic Logic,
(2006), vol. 12(2), pp. 328-329.
- Review-essay, La regola aurea: considerazioni intorno al “seguire una regola”
[The Golden Rule: some remarks about “following a rule”, on Carmelo Vigna e
Susy Zanardo (a cura di), La regola d'oro come etica universale, Vita e Pensiero,
(2005), to appear in Fenomenologia e Società.
- Review-essay, on Sergio Cremaschi, L'Etica del Novecento: Dopo Nietzsche,
Carocci Editore, (2005), in Croatian Journal of Philosophy, (2006), VI, 16, pp. 154-
157.
- Review on, Runggaldier E. and Kanzian C., Problemi fondamentali dell'ontologia
analitica, a cura di S. Galvan, Vita e Pensiero, (2002), in Epistemologia, (2006)
29(2), pp. 416-419.
- Goedel speed-up Theorem and a conjecture by Kreisel, (abstract) in The First
Czech-Catalan Conference in Mathematics, Chudlarsky (ed.), ITI series, (2005), pp.
34.

Books

-Games Studies: philosophy of games, under preparation.

-Philosophy of Cyberspace, with Bruce Gahir, under preparation as final volume
for the EU Underground City Project (expected publication 2011).
-Logica formale del primo ordine [First Order Logic], with Prof. Andrea Iacona
(University of L'Aquila), (classical introductory textbook on first order logic and
model theory), Carocci, to appear in 2010.
-Esercizi di Logica [Exercises (Formal) Logic], (Basic textbook on the Natural
Deduction for undergraduate students), Carocci Editore, 2008.

Education

- Dr. in Mathematics (2008) at Charles University, in Prague. Dissertation Subject:

Propositional Proof Complexity and Computational Complexity Theory. PhD
dissertation published and available at http://www.eccc.uni-
trier.de/static/books/theses/#phd.
- Dr. in Philosophy (2001), RNDr. Degree awarded with full marks 110/110 Summa
cum Laude and Print Honours for the final dissertation, at Amedeo Avogadro
University Laurea in Vercelli, in Italy. Dissertation subject: formal languages and
formal systems.
- MA. (Professional) Science Communication (2002). Degree awarded with
110/110 points at University of Turin, Polytechnic of Turin, COREP (Centre for

3
Permanent Research and Education in Piemonte), in Turin (Italy). Dissertation
subject: Science and Communication.

Awards

- “Excellence in Teaching” award in 2009 at Prague College, School of Computing

and IT.
- The degree in Philosophy was awarded as the best overall degree of 2001 in the
whole Amedeo Avogadro University (Comments: The degree has been obtained
achieving the maximum score 30/30 in all 19 exams (16 of them with honours).