| |
DIPARTIMENTO DI INFORMATICA Università di Torino | |
| |
Stefano BERARDIFull Professor in Computer Science.Affiliation: C. S. Department, Univ. of Torino . Address: Via Pessinetto 12, Dipartimento di Informatica, 10149 - Torino - Italy. Office: n. 32, stair L, floor number 3 (office code 032_D_P03_3030). Tel. (+39) 011 670 6750 Fax: (+39) 011 751603 E-mail for erasmus students: commerasmccs, then the e-mail symbol, followed by educ.di.unito.it. Please do not use my personal e-mail for erasmus messages. Personal e-mail: stefano, then the e-mail symbol, followed by di.unito.it. Frequently used links. C.S. Dept.U-WEB: U-WEB missioni e altro , ESCO Richieste di Acquisto (RDA) (con richieste in: workflow/tutte le richieste/filtra), Ricerca locale 2016 ( english), interviste tutorato, imp, ftp, educ, iris , u-gov (progetti) , C.S. Intranet , prenotazioni aule, Help Desk , Organi e Commissioni. Math. Dept: campusnet . Physics Dept.: campusnet . Pearson text: Java . Moodle sites (se non riuscite ad accedere al sito scrivetemi): Fondamenti di Informatica B 2024/2025 , Calcolabilità e complessità 2024/2025 (sia A che B). TARM: tests. ESSE3: registri. Erasmus: mobilita' attive , Servizi online per studenti outgoing. |
TALK AT EUTYPES NIJMEGEN, 2018: The simply typed lambda calculus N (January 23, 2018). A research report on system N.
TALK AT FOSSACS 2017: Martin-Lof's Inductive Definitions Are Not Equivalent to Cyclic Proofs (Wednesday, April 26, 2017). A preprint of the paper.
DISPENSE IN ITALIANO, PROGRAMMAZIONE PER LA LAUREA TRIENNALE, LIBERAMENTE SCARICABILI:
RESEARCH (see also the common publication page):
TEACHING FROM PREVIOUS YEARS (GRADUATED COURSES):
TEACHING FROM PREVIOUS YEARS (UNDERGRADUATED COURSES:
Old Moodle sites back to the academic year 2007/2008: Moodle sites (se non riuscite ad accedere al sito scrivetemi): Fondamenti di Informatica B 2023/2024 , Calcolabilità e complessità 2023/2024 (sia A che B), Laboratorio di Programmazione IIB Turno 2 2022/2023 , Programmazione IIB 2022/2023 , Calcolabilità e complessità 2022/2023 (sia A che B), Laboratorio di Programmazione IIB Turno 2 2021/2022 , Programmazione IIB 2021/2022 , Calcolabilità e Complessità 2021/2022 (sia A che B), Laboratorio IIB turno 2 2020/2021, Programmazione IIB 2020/2021, Calcolabilità e Complessità 2020/2021 (sia A che B). Laboratorio di Programmazione IIB Turno T2 2019/2020, Programmazione IIB 2019/2020, Calcolabilità e Complessità 2019/2020 (sia A che B, si tratta delle stesso corso sotto nomi diversi per triennale e magistrale), Programmazione IIB 2018/2019 (con links a: ProgIB, ProgIIA, LabIIA, LabIIB1, LabIIB2, GIT ), Calcolabilità e Complessità 2018/2019 (sia A che B, si tratta delle stesso corso sotto nomi diversi per triennale e magistrale). Programmazione Avanzata 2017/2018 , Programmazione IIB 2017/2018 (link al corso IIA e al lab. IIB1), Calcolabilità e Complessità 2017/2018 (con scheda dell'insegnamento), Programmazione IIB 2016/2017 . Logica per Informatica 2016/2017 ( con scheda dell'insegnamento ). Basi di Informatica 2016/2017. Metodi Formali 2016/2017. Programmazione avanzata 2014/2015, Basi di Informatica 2014/2015, Tutorato di Informatica 2014/2015, TIF 2014/2015 , Basi di Informatica A 2013/2014, TIF 2013/2014 , Info A 2012/2013, TIF 12/13 , Info A 2011/2012, 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/1999 to 2007/2008):
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 | |
|