Brian Campbell

View Scopus Profile

Phone+44 (0) 131 650 5142
EmailBrian.Campbelled.acuk
Websitehttp://homepages.inf.ed.ac.uk/bcampbe2

If you made any changes in Pure these will be visible here soon.

Bjoern Franke

bfrankeinf.ed.acuk

School of Informatics - Personal Chair of Software Transformation
Institute for Computing Systems Architecture
Computer Systems

Person: Academic: Research Active

1 shared research output

David Aspinall

david.aspinalled.acuk

School of Informatics - Personal Chair in Software Safety and Security
Laboratory for Foundations of Computer Science
Foundations of Computation

Person: Academic: Research Active

1 shared research output

Ricardo De Oliveira Almeida

Laboratory for Foundations of Computer Science
School of Informatics - Research Associate

Person: Academic: Research Active

1 shared research output

Perdita Stevens

perditainf.ed.acuk

School of Informatics - Personal Chair in Mathematics of Software Engineering
Laboratory for Foundations of Computer Science
Foundations of Computation

Person: Academic: Research Active

1 shared research output

Nigel Topham

nptstaffmail.ed.acuk

School of Informatics - Chair of Computer Systems
Institute for Computing Systems Architecture
Computer Systems

Person: Academic: Research Active

1 shared research output

Peter Sewell

External person

6 shared research output

Alasdair Armstrong

External person

4 shared research output

Thomas Bauereiss

External person

3 shared research output

Christopher Pulte

External person

3 shared research output

Robert M. Norton

External person

2 shared research output

Robert N. M. Watson

External person

2 shared research output

Ben Simner

External person

2 shared research output

Thomas Sewell

External person

1 shared research output

Lawrence Esswood

External person

1 shared research output

Prashanth Mundkur

External person

1 shared research output

Susmit Sarkar

External person

1 shared research output

Francois Bobot

Université Paris 7

External person

1 shared research output

Jean Pichon-Pharabod

External person

1 shared research output

Kyndylan Nienhuis

External person

1 shared research output

Nicolas Ayache

Université Paris 7

External person

1 shared research output

Jon French

External person

1 shared research output

Igor Boehm

External person

1 shared research output

A. Asperti

External person

1 shared research output

Roberto Amadio

Université Paris 7

External person

1 shared research output

Dominic Mulligan

Universitá di Bologna

External person

1 shared research output

K. Memarian

External person

1 shared research output

Angus Hammond

External person

1 shared research output

Yann Régis-Giannas

Université Paris 7
INRIA Paris - Rocquencourt

External person

1 shared research output

Alastair Reid

External person

1 shared research output

Mauro Piccolo

Universitá di Bologna
Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di Frascati

External person

1 shared research output

Derek Dreyer

External person

1 shared research output

Peter G. Neumann

External person

1 shared research output

Anthony Fox

External person

1 shared research output

Shaked Flur

External person

1 shared research output

Claudio Sacerdoti Coen

Universitá di Bologna
University of Buenos Aires

External person

1 shared research output

Michael Roe

External person

1 shared research output

Rodolphe Lepigre

External person

1 shared research output

D. Mulligan

External person

1 shared research output

V. Zaliva

External person

1 shared research output

Michael Sammler

External person

1 shared research output

B. Davis

External person

1 shared research output

Paolo Tranquilli

Universitá di Bologna

External person

1 shared research output

Jaap Boender

External person

1 shared research output

Alexandre Joannou

External person

1 shared research output

R. Watson

External person

1 shared research output

P. Sewell

External person

1 shared research output

N. Ayache

External person

1 shared research output

Neel Krishnaswami

External person

1 shared research output

A. Richardson

External person

1 shared research output

Matthew Naylor

External person

1 shared research output

J. Clarke

External person

1 shared research output

Kathryn E. Gray

External person

1 shared research output

Simon W. Moore

External person

1 shared research output

R. Armadio

External person

1 shared research output

Antoine Madet

Université Paris 7

External person

1 shared research output

D. Chisnall

External person

1 shared research output

Deepak Garg

External person

1 shared research output

Mark Wassell

External person

1 shared research output

Graeme Barnes

External person

1 shared research output

Y. Regis-Gianas

External person

1 shared research output

C. Sacerdoti Coen

External person

1 shared research output

Brian Campbell

Network