Tommaso Dreossi

Postdoctoral researcher in Computer Science
*Tommaso Dreossi* 

EECS Department
University of California, Berkeley

dreossi(at)berkeley(dot)edu

Curriculum vitae
[LinkedIn] [Google Scholar]

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

  • Cyber-physical systems

  • Machine learning

  • Hybrid automata and dynamical systems

  • Reachability computation and parameter synthesis [Sapo tool]