Home
Research
Projects
Tools
Publications
People
News and Events
Jobs and Studentships
Birth of ES Research Unit
by
Alessandro Cimatti
Nov 09, 2007
Official birth date of the Embedded Systems Research Unit.
Recent Posts
nuXmv-2.2.0
Open Postdoc 2026 Positions
Two PhD positions available in collaboration with the University of Trento on formal-methods-related topics
New project with RFI: ACC3-OPERA
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
