Sergei Stepanenko's PhD defence of "Formal Reasoning for Modern Programming Languages"
Oplysninger om arrangementet
Tidspunkt
Sted
5342-333 Ada
Pris
Free DKK
On Thursday November 6, 2025, Sergei Stepanenko will defend the PhD thesis Formal Reasoning for Modern Programming Languages