Zafer Esen has successfully defended his doctoral thesis entitled "Transformations for Verifying Programs with Heap-Allocated Data Structures". Congratulations!