The defense will take place Amphi Herbrand – LIFO Bat 3IA on Friday, January 19, 2024, 2:00 PM.
The PhD is entitled “Memory Safety for Synchronous Reactive Programming”.
Languages, Models and Verification
The defense will take place Amphi Herbrand – LIFO Bat 3IA on Friday, January 19, 2024, 2:00 PM.
The PhD is entitled “Memory Safety for Synchronous Reactive Programming”.