Jeremy James Sproston
Researcher
- Dipartimento di Informatica
- 01/INFO-01 - INFORMATICS
- INFO-01/A - Informatics
- ORCID: orcid.org/0000-0003-2101-6821
Contacts
- 0116706772
- 011751603
- sproston@di.unito.it
- Dipartimento di Informatica,
Corso Svizzera 185,
10149 Torino - https://www.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 (INF0344)
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
Activities in agenda
Academic bodies
Office hours
Il dott. Sproston riceve (in presenza o online) su appuntamento.