Computer Science Department

Courses

• Fondamenti di informatica e programmazione (SCF0579)
  Corso di laurea in DAMS
  Discipline delle Arti, della Musica, dello Spettacolo e dei Media digitali
• Lingua Inglese I (MFN0590)
  Corso di laurea in Informatica
• Lingua Inglese II (MFN0963)
  Corso di laurea magistrale in Informatica
• Linguaggi e Paradigmi di Programmazione (MFN0610)
  Corso di laurea in Informatica
• Principi di Programmazione Orientata agli Oggetti (INF0332)
  Corso di laurea in Informatica

Research topics

Fondamenti dei linguaggi di programmazione, sistemi di tipi, formalizzazione della creatività.

Research groups

• Formal Methods for Software Development (FORMS)

• Metodi Formali per lo Sviluppo del Software

Research projects

• Piano Formativo AVI/485/19 "Tessitura 4.0" - Tessitura Pertile Srl
• TANDANS - “Trend ANalysis from the Domain of Arts: Novel ApproacheS"

Activities in agenda

See my calendar

Academic bodies

• Commissione Lingua Inglese
• Consiglio di Dipartimento

• Comitato di Indirizzo
• Commissione Borse art. 76
• Commissione Lingua Inglese (commissione di Dipartimento)
• Commissione Monitoraggio e Riesame LT
• Commissione Stage e Job Placement
• Consiglio di corso di Laurea e Laurea Magistrale in Informatica
• Referente dell'Assicurazione della Qualità

• Commissione Monitoraggio e Riesame LM

Office hours