Dipartimento di Informatica

Insegnamenti

• Verifica dei Programmi Concorrenti (MFN0959)
  Corso di laurea magistrale in Informatica

Verifica dei Programmi Concorrenti - LM18

Temi di ricerca

Petri nets, stochastic verification

Gruppi di ricerca

• System and Service Quality

Progetti di ricerca

• NextPerception - Next generation smart perception sensors and distributed intelligence for proactive human monitoring in health, wellbeing, and automotive systems
• NextPerception

Attività in agenda

Consulta la mia agenda

Organi

• Consiglio di Dipartimento
• Giunta di Dipartimento

• Consiglio di corso di Laurea e Laurea Magistrale in Informatica