Jeremy James Sproston
Ricercatore/Ricercatrice universitario/a
- Dipartimento di Informatica
- GSD: 01/INFO-01 - INFORMATICA
- SSD: INFO-01/A - Informatica
- ORCID: orcid.org/0000-0003-2101-6821
Contatti
- 0116706772
- 011751603
- sproston@di.unito.it
- Dipartimento di Informatica,
Corso Svizzera 185,
10149 Torino - http://informatica.unito.it/persone/jeremy.sproston
Presso
- 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) Insegnamenti
- Linguaggi Formali e Traduttori (INF0344)
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.