Jeremy James Sproston
Ricercatore/Ricercatrice universitario/a
- Dipartimento di Informatica
- SSD: INF/01 - informatica
Contatti
- 0116706772
- 011751603
- sproston@di.unito.it
- Dipartimento di Informatica,
Corso Svizzera 185,
10149 Torino - https://magistrale.informatica.unito.it/persone/jeremy.sproston
- VCard contatti
Presso
- Computer Science Department
- Dipartimento di Informatica
- Corso di laurea in Informatica
- Corso di laurea magistrale in Informatica
- PhD in Computer Science
Curriculum vitae
Insegnamenti
- 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
Temi di ricerca
Model checking of timed and probabilistic systems (timed automata, Markov decision processes)
Gruppi di ricerca
Attività in agenda
Organi
Ricevimento studenti
Il dott. Sproston riceve (in presenza o online) su appuntamento.