Electrical Engineering, Mathematics and Computer Science (EEMCS)

UTFacultiesEEMCSEvents

Events

PhD Defence Bram Kohlen | Verified & Fast Probabilistic Verification - Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point ImplementationVerified & Fast Probabilistic Verification - Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation
Thu 12 Feb 2026 10:30 - 11:30
Waaier, 4
PhD Defences & OrationsRead more
PhD Defence Aniruddha Paul | Engineering Microphysiological EcosystemsEngineering Microphysiological Ecosystems
Fri 20 Feb 2026 12:30 - 13:30
Waaier, 4
PhD Defences & OrationsRead more

Suggestions