22 June 2026, 14:30-16:15 MSc Defence by András Fekete and Jakob Due Jensen Join the MSc defence of András Fekete and Jakob Due Jensen, who present a static analysis tool based on abstract interpretation for detecting potential runtime errors before software is executed.
