diff -r b20c856b2389 -r 7b71e2c2b422 pc
--- a/pc	Sat Nov 15 08:44:19 2014 +0000
+++ b/pc	Sat Nov 29 00:08:23 2014 +0000
@@ -1,28 +1,54 @@
-Gerwin Klein      (NICTA)
-Ruben Gamboa      (University of Wyoming)
-Tobias Nipkow     (TU Munich)
-Michael Norrish   (NICTA)
-John Harrison     (INTEL)
-Thierry Coquand   (University of Gothenburg)
+Andrea Asperti    (Uni Bologna)
+   http://www.cs.unibo.it/~asperti/
+Jesper Bengtson   (IT University of Copenhagen)
+   http://www.itu.dk/people/jebe/
 Steffen Berghofer (Secunet Security Networks AG)
-Randy Pollack     (Harvard University)
-Mike Gordon       (Cambridge University)
-Sandrine Blazy    (INRIA)      
-Herman Geuvers    (Nijmegen)
-Xinyu Feng        (Suzhou Institute for Advanced Study)
+   http://wwwbroy.in.tum.de/~berghofe/
 Yves Bertot       (INRIA)
-Konrad Slind      (Rockwell Collins)
+   http://www-sop.inria.fr/members/Yves.Bertot/
+Lars Birkedal     (Aarhus University)
+   http://cs.au.dk/~birke/
+Sandrine Blazy    (IRISA)
+   https://www.irisa.fr/celtique/blazy/index.html#contact
+Thierry Coquand   (University of Gothenburg)
+   http://www.cse.chalmers.se/~coquand/
+Xinyu Feng        (University of Science and Technology of China)
+   http://staff.ustc.edu.cn/~xyfeng/
+Ruben Gamboa      (University of Wyoming)
+   http://www.cs.uwyo.edu/~ruben/
+Herman Geuvers    (Nijmegen)
+   http://www.cs.ru.nl/~herman/
+Mike Gordon       (Cambridge University)
+   https://www.cl.cam.ac.uk/~mjcg/
+Elsa Gunter       (University of Illinois, Urbana - Champaign)
+   http://web.engr.illinois.edu/~egunter/
+John Harrison     (Intel Corporation)
+   http://www.cl.cam.ac.uk/~jrh13/
 Hugo Herbelin     (INRIA)
-Lars Birkedal     (Aarhus)
-Jesper Bengtson   (ITU)
-Carsten Schuermann (ITU)
-Dimitrios Vytiniotis (Microsoft)
-Elsa Gunter       (Urbana Champain)
-Cesar Munos       (nasa)
-Andrea Asperti     (Uni Bologna)
-Scott Owens       (Kent)
-Matt Kaufman      (texas)
-Alwen Tiu          (Nanyang)
+   http://pauillac.inria.fr/~herbelin/index-eng.html
+Matt Kaufman      (University of Texas at Austin)
+   http://www.cs.utexas.edu/~kaufmann/
+Gerwin Klein      (NICTA)
+   http://www.cse.unsw.edu.au/~kleing/
+Cesar Munoz       (NASA Langley Research Center)
+   http://shemesh.larc.nasa.gov/people/cam/
+Tobias Nipkow     (TU Munich)
+   http://www21.in.tum.de/~nipkow/
+Michael Norrish   (NICTA)
+   http://nicta.com.au/people/norrishm
+Scott Owens       (University of Kent)
+   http://www.cs.kent.ac.uk/people/staff/sao/
+Randy Pollack     (Harvard University)
+   http://homepages.inf.ed.ac.uk/rpollack/
+Carsten Schümann (IT University of Copenhagen)
+   http://www.itu.dk/people/carsten/ 
+Konrad Slind      (Rockwell Collins)
+Alwen Tiu         (Nanyang Technological University)
+   http://www.ntu.edu.sg/home/atiu/
+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)
 (25)