Staff members (REF1a/c)
11 - Computer Science and Informatics
University of Cambridge
Name
Anderson, RJ
Research group(s)
- G - Security
Category
A
Name
Bacon, JM
Research group(s)
- H - Systems
Category
A
Name
Beresford, AR
Research group(s)
- C - Digital technology
Category
A
Name
Blackwell, AF
Research group(s)
- D - Graphics and interaction
Category
A
Name
Briscoe, EJ
Research group(s)
- E - Natural language and information processing
Category
A
Name
Chen, W
Research group(s)
- C - Digital technology
Category
A
Name
Clark, SC
Research group(s)
- E - Natural language and information processing
Category
A
Name
Clayton, RN
Research group(s)
- G - Security
Category
A
Name
Copestake, AA
Research group(s)
- E - Natural language and information processing
Category
A
Name
Crowcroft, JA
Research group(s)
- H - Systems
Category
A
Name
Daugman, JG
Research group(s)
- A - Artificial intelligence
Category
A
Name
Dawar, A
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Dodgson, NA
Research group(s)
- D - Graphics and interaction
Category
A
Name
Faragher, RM
Research group(s)
- C - Digital technology
Category
A
Name
Fiore, MP
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Fox, ACJ
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Gazagnaire, TM
Research group(s)
- F - Programming
- logic and semantics
- H - Systems
Category
A
Name
Gibbens, RJ
Research group(s)
- H - Systems
Category
A
Name
Gordon, MJC
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Griffin, TG
Research group(s)
- F - Programming
- logic and semantics
- H - Systems
Category
A
Name
Hand, SM
Research group(s)
- H - Systems
Category
A
Name
Harle, RK
Research group(s)
- C - Digital technology
Category
A
Name
Hayman, JM
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Holden, SB
Research group(s)
- A - Artificial intelligence
Category
A
Name
Hopper, A
Research group(s)
- C - Digital technology
Category
A
Name
Jamnik, M
Research group(s)
- A - Artificial intelligence
- F - Programming
- logic and semantics
Category
A
Name
Jones, TM
Research group(s)
- B - Computer architecture
Category
A
Name
Korhonen, A
Research group(s)
- E - Natural language and information processing
Category
A
Name
Lathia, NK
Research group(s)
- H - Systems
Category
A
Name
Lio, P
Research group(s)
- A - Artificial intelligence
Category
A
Name
Madhavapeddy, AVS
Research group(s)
- H - Systems
Category
A
Name
Mascolo, C
Research group(s)
- H - Systems
Category
A
Name
Moore, AW
Research group(s)
- H - Systems
Category
A
Name
Moore, SW
Research group(s)
- B - Computer architecture
- G - Security
Category
A
Name
Mullins, RD
Research group(s)
- B - Computer architecture
Category
A
Name
Murdoch, SJ
Research group(s)
- G - Security
Category
A
Name
Mycroft, A
Research group(s)
- B - Computer architecture
- F - Programming
- logic and semantics
Category
A
Name
Myreen, MO
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Paulson, LC
Research group(s)
- F - Programming
- logic and semantics
- G - Security
Category
A
Name
Pauly, A
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Pitts, AM
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Rice, AC
Research group(s)
- C - Digital technology
Category
A
Name
Robinson, P
Research group(s)
- D - Graphics and interaction
Category
A
Name
Sathiaseelan, A
Research group(s)
- H - Systems
Category
A
Name
Sauerwald, TM
Research group(s)
- F - Programming
- logic and semantics
Category
A
Name
Sewell, PM
Research group(s)
- F - Programming
- logic and semantics
- H - Systems
Category
A
Name
Sheret, IL
Research group(s)
- C - Digital technology
Category
A
Name
Singh, J
Research group(s)
- H - Systems
Category
A
Name
Stajano, FM
Research group(s)
- C - Digital technology
- G - Security
Category
A
Name
Staton, S
Research group(s)
- F - Programming
- logic and semantics
Category
A