Aarhus Universitets segl

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

Oplysninger om arrangementet

Tidspunkt

torsdag 15. maj 2025, kl. 13:00 - . kl.

Sted

5342-333 Ada

Pris

Free DKK

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