Skip to Content Skip to Main Navigation Skip to Footer Skip to Search
You Are Here: Completed doctorate: Daxin Liu
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".
last updated: 23/11/2022
top