Contacts
- 0116706772
- 011751603
- sproston@di.unito.it
- Dipartimento di Informatica,
Corso Svizzera 185,
10149 Torino - https://cs.unito.it/persone/jeremy.sproston
- Contacts VCard
At
- Computer Science Department
- Dipartimento di Informatica
- Corso di laurea in Informatica
- Corso di laurea magistrale in Informatica
- PhD in Computer Science
Curriculum vitae
Curriculum Vitae
(0.1 MB) Courses
- Linguaggi Formali e Traduttori (non attivato nel 2024/2025) (MFN0603)
Corso di laurea in Informatica - Principi di Programmazione Orientata agli Oggetti (INF0332)
Corso di laurea in Informatica
Research topics
Model checking of timed and probabilistic systems (timed automata, Markov decision processes)
Research groups
Academic bodies
Office hours
Il dott. Sproston riceve (in presenza o online) su appuntamento.