Begin: Tuesday, 26th of September, 2023, 10:00 am
Room: O4.267
On September 26th, 2023, Jürgen König has successfully defended his PhD thesis on "On the Membership and Correctness Problem for State Serializability and Value Opacity"
Jürgen König was team member of the SFB 901 subproject B3 and his supervisor is Prof. Dr. Heike Wehrheim. We sincerely congratulate Jürgen on passing the examination!
