Invitation to the defense of the diploma thesis – Luka Svenšek  (Computer Science, 1st cycle)

Luka Svenšek, a student of the study program of Computer Science, 1st cycle, will present the diploma thesis entitled Program verification via Type Theory on Monday, 14 September 2026 at 11:30 in the classroom Famnit-MP1.

You are all kindly invited!