Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper “Boosting Lazy Abstraction for SystemC with Partial Order Reduction” at the TACAS 2011 conference.
-
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)
-
New Software Developer Position for ACC3