STAR welcomes students, both undergraduate and graduate, wishing to improve their knowledge and their understanding in the areas of Artificial Intelligence, Formal Verification and Software Engineering. Please contact Prof. This e-mail address is being protected from spam bots, you need JavaScript enabled to view it if you are a student and you wish to learn more about our activities and our current research projects.

STAR is also open to cooperations, both with research institutions seeking highly qualified partners, and with industries interested in automated reasoning tools and research. Please contact Prof. This e-mail address is being protected from spam bots, you need JavaScript enabled to view it to schedule a meeting or to request further information.