Maxime Legoupil's PhD defence of "Formal Reasoning about WebAssembly and Extensions"
Info about event
Time
Location
5342-333 (Ada)
Price
On Thursday November 20, 2025, Maxime Legoupil will defend the PhD thesis Formal Reasoning about WebAssembly and Extensions