Jür­gen König has suc­cess­fully de­fen­ded his PhD thes­is on "On the Mem­ber­ship and Cor­rect­ness Prob­lem for State Seri­al­iz­ab­il­ity and Value Opa­city"

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!