Completed doctorate: Daxin Liu

24/10/2022
Daxin Liu © Joost Pieter Katoen

On Monday, November 21, 2022, Daxin Liu successfully defended her dissertation titled "Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification".