Dipartimento di Informatica

Corsi di insegnamento

• Aggregate Programming for the Internet of Things
  Dottorato in Informatica
• Aggregate Programming for the Internet of Things
  Dottorato in Informatica
• Introduzione alla programmazione (COORTE 2018) (MFN1317)
  Corsi di Laurea Triennale in Fisica e Laurea Magistrale in Fisica

Per i Corsi di Laurea e Laurea Magistrale in Informatica si consulti la PAGINA DELLA DIDATTICA di Ferruccio Damiani: http://www.di.unito.it/~damiani/teaching.html

Temi di ricerca

http://www.di.unito.it/~damiani/

http://movere.di.unito.it/

 

Gruppi di ricerca

• Big Data
• Formal Methods for Software Development (FORMS)
• System Modelling, Verification and Reuse (MoVeRe)

• Big Data
• Metodi Formali per lo Sviluppo del Software
• Modellazione, Verifica e Riuso di Sistemi (MoVeRe)

Attività in agenda

Consulta la mia agenda

Organi

• Commissione Rapporti con le Aziende
• Commissione Ricerca
• Consiglio di Dipartimento

Ricevimento studenti

Su appuntamento, preferibilmente Lunedi' 16:00 - 18:00
(in ogni caso e' richiesta una prenotazione: contattatemi al termine della lezione - oppure per e-mail).