Students and researchers gathered at the Faculty of Informatics, Masaryk University in Brno for the CHESS Students’ Day 2025, an event showcasing the results of undergraduate and graduate students involved in CHESS mini-projects and related research activities.
The programme featured a series of technical talks covering topics such as safe reinforcement learning, optimisation in autonomous systems, patrolling strategies for security applications, automata theory, and software verification and static analysis. Several of the presentations were based on work recently presented at leading international conferences.
Alongside the research talks, laboratories and research groups from the Faculty of Informatics introduced their current projects and future research directions, highlighting opportunities for students interested in joining ongoing work or pursuing bachelor’s, master’s, or doctoral research.
The event provided a valuable platform for students to present their work, exchange ideas, and engage in informal discussions with peers and researchers. Thanks to its open format, CHESS Students’ Day also welcomed students interested in becoming involved in future research activities in areas related to cybersecurity, formal methods, and reliable software systems.
A full list of the talks and presented topics is available here: https://formela.fi.muni.cz/events/chess-students-day-2025
