Viktor Teren

foto,  May 23, 2019
Position
PhD student
Student
PhD in Computer Science - 35° ciclo (October 1, 2019 - September 30, 2022)
Academic sector
- - -

Modules

Modules running in the period selected: 0.
Click on the module to see the timetable and course details.


 

Research groups

ForMe - Formal Method for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.

Organization

Department facilities