pc
changeset 86 99f336f35f87
parent 83 0059a009056b
--- a/pc	Sat Nov 29 14:55:50 2014 +0000
+++ b/pc	Sat Nov 29 17:38:03 2014 +0000
@@ -26,7 +26,7 @@
    http://www.cl.cam.ac.uk/~jrh13/
 Hugo Herbelin     (INRIA)
    http://pauillac.inria.fr/~herbelin/index-eng.html
-Matt Kaufman      (University of Texas at Austin)
+Matt Kaufmann     (University of Texas at Austin)
    http://www.cs.utexas.edu/~kaufmann/
 Gerwin Klein      (NICTA)
    http://www.cse.unsw.edu.au/~kleing/
@@ -48,7 +48,7 @@
 Christian Urban   (King's College London)
 Dimitrios Vytiniotis (Microsoft Research Cambridge)
    http://research.microsoft.com/en-us/people/dimitris/
-Xingyuan Zhang    (PLA University of Science and Technology Nanjing)
+Xingyuan Zhang    (PLA University of Science and Technology)
 (25)