diff -r 99880ddeae63 -r e06dad70e80a index.html --- a/index.html Fri Sep 20 11:12:38 2019 +0100 +++ b/index.html Fri Sep 20 11:29:32 2019 +0100 @@ -272,7 +272,7 @@ help us with proving the correctness of the priority inheritance protocol. This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the - PLA University of Science and Technology in Nanjing. + PLA University of Science and Technology in Nanjing. @@ -302,7 +302,7 @@ "proving Reg-exp-langs [being] closed under complementation without using equiv to DFA's"....yes we can! This is joint work with Prof. Xingyuan Zhang and his student Chunhan Wu from the -PLA University of Science and Technology in Nanjing. +PLA University of Science and Technology in Nanjing. My funding for this work came from the Chinese-German Research Centre.