DIPARTIMENTO   DI   INFORMATICA
Università di Torino

Stefano BERARDI

Full Professor in Computer Science.
Affiliation: C. S. Department, Fac. SMFN, Univ. of Torino .
Address: Via Pessinetto 12, Dipartimento di Informatica, 10149 - Torino - Italy. <- Most visitors get lost!
Office: 21. Take the elevator adiacent to the front gate of via Pessinetto 12 and press the button for "floor 1" (Computer Science Dept.). Get off and ask the reception. The floor with number "1" is actually a second floor, because between it and the level of the front gate there is a parking floor.
E-mail: berardi@di.unito. Tel. +39 670 6750 Fax: +39 011 751603
University: Prenotazioni SIA. Phisics Dept.: campusnet. Math. Dept: campusnet. C.S. Dept.: imp, ftp, educ.
Moodle sites: Info A, TIF A. Old Moodle: OLD Info A, Info I, Lab. Calc. I. OLD Lab. Calc. I, Ded. Aut.. TARM: tests, registri.

  • 2007 Summer School (Bertinoro, Italy). Draft of the course: Realizability: Extracting Programs from proofs.
  • Erasmus Commitee for C.S. Dept. of Turin Univ.. The official table matching european and italian grades.
  • Game Semantic of Classical Proofs . A site introducing a semantic of proofs of classical logic through Tarski Games with retractable moves. The source code of a Mathematica program assisting two players playing Tarski games with retractable moves ( nb , zip).

    RESEARCH (see also the publication page of Semantic research group):
    Last paper: An Intuitionistic Model Of Delta-0-2 ... . Last conference in Tokyo (version of February 2006): Semantic of Backtracking . Last Types conference (version of December 2004): A game model for 1-backtracking . Previous conference Types conference in Torino (version of June 2004): Programming with Non-Recursive Maps .

    TEACHING (GRADUATED COURSES):

  • 2007 Types Summer School (Bertinoro, Italy, August 2007). Draft of the course: Realizability: Extracting Programs from proofs.
  • 2006 Summer School (Collegno, Italy, August 2006). A short introduction to Isabelle. All files of the course , including: slides in .ppt, the solution of Hotel Key Cards exercise, a 16 hour course on Isabelle, more exercices and more solutions (2Mb). Alternatively, only slides in pdf format (8Mb).
  • 2005 Summer School (Gargnano, Italy). A short introduction to lambda calculus. Format: zipped ppt . Solutions of all exercises.
  • 2003 Organizer of the congress Types 2003 in Torino .
  • 2002 Summer School (Eugene, Oregon): one file with two short courses about Logic and Realizability Formats: ppt , zip . A reference of the course is Boerio Ph.d. thesis: "Optimizing Programs Extracted From Proofs". Formats: ps , zip .

    TEACHING (UNDERGRADUATED COURSES):

  • Informatica A .
  • Laboratorio di Calcolo I ( Corso sul programma Mathematica , dal '98/'99 al 07'/08', Torino, Dip. Fisica). Un sito col le Dispense ; un sito con applicazioni di Mathematica ad altri Corsi della Laurea in Fisica; infine, un sito con brevi Articoli di argomento curioso o divertente.

    Teaching (terminated courses):

  • Informatica I ( Corso di Linguaggio C , dal '01/'02 al 06'/07', terminato , Dip. di Matematica),
  • Programmazione 1 ( Corso di Linguaggio Pascal , dal '97/'98 al '00/'01, terminato , Torino, Dip. di Informatica),
  • Sistemi per l'Elaborazione dell'Informazione I e II (98/99, terminato , Lecce, Dip. Matematica).

    Fractals. . Take a look to my site about fractals and to a conference on this topic from a friend (both Italian only, for the moment). Here is a program zooming very tiny details from a few fractals (Eloisa and others), but you need the file alleg.40.dll in the same directory to run it. Some more fractal images: trees , trees 3D .



    • Last update: Sept. 11, 2008