Insegnamenti / Teachings

A.A. 2022/2023

• [DOCS009] ADVANCED TECHNIQUES FOR SYSTEM VERIFICATION (COMPUTER SCIENCE AND MATHEMATICS)
• [ST0495] LABORATORIO, incluso nell'attività didattica ALGORITMI E STRUTTURE DATI (INFORMATICA PER LA COMUNICAZIONE DIGITALE)
• [ST0853] LABORATORIO, incluso nell'attività didattica ALGORITIMI E STRUTTURE DATI (INFORMATICA)
• [ST1344] LINGUAGGI E COMPILATORI (INFORMATICA)
• [ST1450] SECURITY BY DESIGN (COMPUTER SCIENCE)

A.A. 2021/2022

• [ST0853] LABORATORIO, incluso nell'attività didattica ALGORITIMI E STRUTTURE DATI (INFORMATICA)
• [ST1344] LINGUAGGI E COMPILATORI (INFORMATICA)
• [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
• [DOCSM009] ADVANCED TECHNIQUES FOR SYSTEM VERIFICATION (COMPUTER SCIENCE AND MATHEMATICS)

A.A. 2020/2021

• [ST0853] LABORATORIO, incluso nell'attività didattica ALGORITIMI E STRUTTURE DATI (INFORMATICA)
• [ST1344] LINGUAGGI E COMPILATORI (INFORMATICA)
• [ST1192] SYSTEMS VERIFICATION LAB (COMPUTER SCIENCE)
• [DOCSM009] ADVANCED TECHNIQUES FOR SYSTEM VERIFICATION (COMPUTER SCIENCE AND MATHEMATICS)