Tommaso Dreossi

Postdoctoral researcher in Computer Science
*Tommaso Dreossi* 

EECS Department
University of California, Berkeley


[CV][Google Scholar][LinkedIn]

Short Bio

I am currently a postdoctoral researcher in the group of Sanjit Seshia at the department of Electrical Engineering and Computer Science of UC Berkeley.

I obtained my Ph.D. in Computer Science from the University of Udine (Italy) and the University Joseph Fourier in Grenoble (France), working under the joint supervision of Carla Piazza and Thao Dang. I hold a Master’s degree in Computer Science received from the University of Udine (Italy).

Research Interests

  • Formal methods

  • Machine learning and artificial intelligence

  • Cyber-physical systems

  • Hybrid automata and dynamical systems [Sapo tool]