Dipartimento di Informatica

Insegnamenti

• Linguaggi Formali e Traduttori (MFN0603)
  Corso di laurea in Informatica

Temi di ricerca

Model checking of timed and probabilistic systems (timed automata, Markov decision processes)

Gruppi di ricerca

• System and Service Quality

Organi

• Consiglio di Dipartimento

• Consiglio di corso di Laurea e Laurea Magistrale in Informatica
• Giunta del Corso di Laurea e Laurea Magistrale

Ricevimento studenti

Il dott. Sproston riceve (in presenza o online) su appuntamento.