Aarhus University Seal

Steffan Christ Sølvsten´s PhD defence of "I/O-efficient Symbolic Model Checking"

Info about event

Time

Thursday 15 May 2025, at 13:00 - at

Location

5342-333 Ada

Price

Free DKK

On Thursday May 15, 2025, Steffan Christ Sølvsten will defend the PhD thesis I/O-efficient Symbolic Model Checking