1

Curriculum Vitae

Stefano Cavagnetto

Currently head of Schools of Computing and Business at Prague College and head

of the Prague College Research Center (fields of research: history of

programming languages, game studies and data mining).

Lecturer of Programming Language Concepts classes (languages taught C++, C#,

Java and Prolog) in the HND in Computing (general). Also lecturer of

Management Research in the MSc International Management. Other

programming languages of interest: Assembly, Fortran, C, Pascal, Ruby, VPL

and programming languages for Artificial Intelligence: Prolog, Lisp and Clips.

TEACHING AND OTHER ACTIVITIES:

Jobs and visiting:

-Visiting at the Isaac Newton Institute of Cambridge for the program Logic and

Algorithms, periods: February, March, April, 2006.

-Visiting at the Institute of Mathematics of Prague of the Academy of Sciences of

Czech Republic, 2004.

-Teacher for the Master 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.

2

Talks and tutorials delivered:

• Teaching Methods: an introduction, Prague College, in Prague, 2009

• The Conception of Self in Multiple Cyber Worlds, Cyberspace confer-

ence, in Brno, 2009.

• Euclid’s Elements, at Institute of Mathematics, in Prague, 2008.

• Ancient Logic: Medieval Logic, at Institute of Mathematics, in Prague,

2008.

• 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.

• Godel 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.

3

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

Amedeo Avogadro University, in Vercelli:

• 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, in preparation.

• Games as formal systems, in preparation.

• The Conception of Self in Multiple CyberWorlds, to appear in MUJLT.

• The Lengths of Proofs: Kreisel’s conjecture and Godel’s speed-up

theorem, to appear in Notes of Mathematical Seminars of St.Petersburg

Department of V.A.Steklov Institute of Mathematics and in Journal of

in Journal of Mathematical Sciences, special volume devoted to 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.

4

• 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), sudmitted to 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 Ch. Kanzian, Problemi fondamentali

dell’ontologia analitica, a cura di S. Galvan, Vita e Pensiero, (2002),

in Epistemologia, (2006) 29(2), pp. 416-4190.

• Godel 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, in preparation.

-Ontology of Cyberspace, with Bruce Gahir, in preparation.

-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 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.

Dr. in Philosophy (2001). Degree awarded with full marks 110/110 Summa cum

Laude and Print Honours at Amedeo Avogadro University, in Vercelli (Italy).

Dissertation subject: formal languages and formal systems.

MA. in Science Communication (2002). Degree awarded with 110/110 points at

University of Turin, Polytechnic of Turin, COREP (Centre for Permanent Research

and Education in Piemonte), in Turin (Italy). Dissertation subject: Science and

communication.

5

AWARDS:

1. Excellence in teaching in 2009 at Prague College, Computing School.

2. The degree in Philosophy was awarded as the best 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 honor )).