UTFacultiesEEMCSDisciplines & departmentsSCSNews & EventsLocal EventsMaster final project presentation: Practical Probabilistic Program Verification

Master final project presentation: Practical Probabilistic Program Verification

You are cordially invited to the Master Final Project presentation Franka van Jaarsveld, educational programme Computer Science

Date: Wednesday, May 21, 2025

Time: 11:00 hrs.

Location: Carre 3F

Graduation committee:

dr.ir. A. Continella (1st supervisor)
prof.dr.ir. J.P. Katoen
S.M. Nicoletti, MSc
P. Schröer, MSc
D. Haase, MSc