Back to the main page
January 27, 2026. Picture with students of Formal Methods in Computer Science, with the best student Patryk Rosół being in the center.
.