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.
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
Frequently used links. Prenotazioni SIA. Phisics Dept.: campusnet. Math. Dept: campusnet. C.S. Dept.: imp, ftp, educ. Moodle sites 11/12: Info A 2011/2012. TARM: tests, registri.

  • 1995-2008 Organizer of the congresses Types 1995, Types 2003, Types 2008.
  • 2007 Summer School Bertinoro, Italy. Draft of the course: Realizability: Extracting Programs from proofs.
  • 2011 Summer School Realizability in Chambery . Draft of the course: Interactive Realizability. (.pdf version-4 slides/page).
  • Erasmus Commitee for C.S. Dept. of Turin Univ.. The conversion table matching european and italian grades (valid since Dec., 13 2010) is the following: E: 18 19 20 D: 21 22 23 24 C: 25 26 27 B: 28 29 A: 30 30/lode. This was the table valid before Dec., 13 2010. This is the site with current list of Erasmus agreements.
  • Game Semantics of Classical Proofs . A site introducing a semantics 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 common publication page):
    Last paper: An Intuitionistic Model Of Delta-0-2 ... . Last conference in Tokyo (version of February 2006): Semantics 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 FROM PREVIOUS YEARS (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.
  • 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 FROM PREVIOUS YEARS (UNDERGRADUATED COURSES):

    Old Moodle sites from 2007/2008 to 2010/2011: TIF A 11/12, TIF A 10/11, Info I 10/11. SPERIM 09/10, Info A 09/10, Info A 08/09, Info A 07/08, Lab. Calc. I 09/10, Lab. Calc. I 08/09, Ded. Aut. 07/08 .

    Teaching (old web sites or terminated courses from 1998/19999 to 2007/2008):

  • Informatica A (Corso del '07/'08, sito ora rimpiazzato dal sito Moodle).
  • Laboratorio di Calcolo I ( Corso sul programma Mathematica , dal '98/'99 al 07'/08', Torino, Dip. Fisica, sito ora rimpiazzato dal sito Moodle). 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.
  • 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