Viktor Teren

foto,  23 maggio 2019
Qualifica
Dottorando
Iscritto
Dottorato in Informatica - 35° ciclo (1 ottobre 2019 - 30 settembre 2022)
Settore disciplinare
- - -

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


 

Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.

Organizzazione

Strutture del dipartimento