PhD in Computer Science

Courses

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

Research topics

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

Research groups

• System and Service Quality

Activities in agenda

See my calendar

Academic bodies

• Consiglio di Dipartimento

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

Office hours

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