|
1 Andrea Asperti (Uni Bologna) |
|
2 http://www.cs.unibo.it/~asperti/ |
|
3 Jesper Bengtson (IT University of Copenhagen) |
|
4 http://www.itu.dk/people/jebe/ |
|
5 Steffen Berghofer (Secunet Security Networks AG) |
|
6 http://wwwbroy.in.tum.de/~berghofe/ |
|
7 Yves Bertot (INRIA) |
|
8 http://www-sop.inria.fr/members/Yves.Bertot/ |
|
9 Lars Birkedal (Aarhus University) |
|
10 http://cs.au.dk/~birke/ |
|
11 Sandrine Blazy (IRISA) |
|
12 https://www.irisa.fr/celtique/blazy/index.html#contact |
|
13 Thierry Coquand (University of Gothenburg) |
|
14 http://www.cse.chalmers.se/~coquand/ |
|
15 Xinyu Feng (University of Science and Technology of China) |
|
16 http://staff.ustc.edu.cn/~xyfeng/ |
|
17 Ruben Gamboa (University of Wyoming) |
|
18 http://www.cs.uwyo.edu/~ruben/ |
|
19 Herman Geuvers (Nijmegen) |
|
20 http://www.cs.ru.nl/~herman/ |
|
21 Mike Gordon (Cambridge University) |
|
22 https://www.cl.cam.ac.uk/~mjcg/ |
|
23 Elsa Gunter (University of Illinois, Urbana - Champaign) |
|
24 http://web.engr.illinois.edu/~egunter/ |
|
25 John Harrison (Intel Corporation) |
|
26 http://www.cl.cam.ac.uk/~jrh13/ |
|
27 Hugo Herbelin (INRIA) |
|
28 http://pauillac.inria.fr/~herbelin/index-eng.html |
|
29 Matt Kaufman (University of Texas at Austin) |
|
30 http://www.cs.utexas.edu/~kaufmann/ |
1 Gerwin Klein (NICTA) |
31 Gerwin Klein (NICTA) |
2 Ruben Gamboa (University of Wyoming) |
32 http://www.cse.unsw.edu.au/~kleing/ |
|
33 Cesar Munoz (NASA Langley Research Center) |
|
34 http://shemesh.larc.nasa.gov/people/cam/ |
3 Tobias Nipkow (TU Munich) |
35 Tobias Nipkow (TU Munich) |
|
36 http://www21.in.tum.de/~nipkow/ |
4 Michael Norrish (NICTA) |
37 Michael Norrish (NICTA) |
5 John Harrison (INTEL) |
38 http://nicta.com.au/people/norrishm |
6 Thierry Coquand (University of Gothenburg) |
39 Scott Owens (University of Kent) |
7 Steffen Berghofer (Secunet Security Networks AG) |
40 http://www.cs.kent.ac.uk/people/staff/sao/ |
8 Randy Pollack (Harvard University) |
41 Randy Pollack (Harvard University) |
9 Mike Gordon (Cambridge University) |
42 http://homepages.inf.ed.ac.uk/rpollack/ |
10 Sandrine Blazy (INRIA) |
43 Carsten Schümann (IT University of Copenhagen) |
11 Herman Geuvers (Nijmegen) |
44 http://www.itu.dk/people/carsten/ |
12 Xinyu Feng (Suzhou Institute for Advanced Study) |
|
13 Yves Bertot (INRIA) |
|
14 Konrad Slind (Rockwell Collins) |
45 Konrad Slind (Rockwell Collins) |
15 Hugo Herbelin (INRIA) |
46 Alwen Tiu (Nanyang Technological University) |
16 Lars Birkedal (Aarhus) |
47 http://www.ntu.edu.sg/home/atiu/ |
17 Jesper Bengtson (ITU) |
48 Christian Urban (King's College London) |
18 Carsten Schuermann (ITU) |
49 Dimitrios Vytiniotis (Microsoft Research Cambridge) |
19 Dimitrios Vytiniotis (Microsoft) |
50 http://research.microsoft.com/en-us/people/dimitris/ |
20 Elsa Gunter (Urbana Champain) |
51 Xingyuan Zhang (PLA University of Science and Technology Nanjing) |
21 Cesar Munos (nasa) |
|
22 Andrea Asperti (Uni Bologna) |
|
23 Scott Owens (Kent) |
|
24 Matt Kaufman (texas) |
|
25 Alwen Tiu (Nanyang) |
|
26 (25) |
52 (25) |
27 |
53 |
28 |
54 |
29 |
55 |
30 Bob Constable |
56 Bob Constable |