Tommaso Dreossi
Applied Scientist
insitro
Home page
Interests
- Cyber-Physical Systems
- Formal Verification
Education
-
PhD in Computer Science, 2016
University of Udine, Italy and University Joseph Fourier - Grenoble I
-
Master Degree in Computer Science, 2012
University of Udine, Italy