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 09/10: Info A 09/10, TIF A 09/10, SPERIM 09/10. Old Moodle: Info A 08/09, Info A 07/08, Lab. Calc. I 08/09, Ded. Aut. 07/08 . TARM: tests, registri. Connect: virtual meeting room.

  • 2003 Organizer of the congresses Types 1995, Types 2003, Types 2008.
  • 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 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 (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 (UNDERGRADUATED COURSES 98/99-09/10):

    Moodle sites 09/10: Info A 09/10, TIF A 09/10. Old Moodle: Info A 08/09, Info A 07/08, Lab. Calc. I 08/09, Ded. Aut. 07/08 .

    Teaching (old sites or terminated courses 98/99-07/08):

  • 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