Department of Computer Science

Academic Staff

The academic staff are listed below with their research interests.

Professor Samson Abramsky (samson@dcs.ed.ac.uk)

Semantics of computation, game semantics, logic, programming

Stuart Anderson (soa@dcs.ed.ac.uk)
Chairman Teaching Committee

Using process algebra and logics in design and analysis of dependable systems. Semantic analysis of techniques used in systems development. Uses of formal proof in systems development. Applications to industrial problems.

D.K. Arvind (dka@dcs.ed.ac.uk)
MSc Projects Co-ordinator

Formal integration of concurrent systems; algorithms and environments for parallel computation; parallel and distributed simulation.

Dr Julian Bradfield (jcb@dcs.ed.ac.uk)

Modal logic and model checking for infinite systems; computer-assisted verification techniques.

Dr Gordon Brebner (gordon@dcs.ed.ac.uk)
Head of Department, Captain of Cricket

Flexible computing

Professor Rod Burstall (rb@dcs.ed.ac.uk)
Co-director LFCS

Computer-aided proof and its relation to type theory; development of correct programs with respect to a specification.

Dr Murray Cole (mic@dcs.ed.ac.uk)
Director of Studies

parallel algorithms; skeletal parallel programming

Martin Escardo (mhe@dcs.ed.ac.uk)

Exact real number computation, real and interval analysis, topology, domain theory, semantics, PCF

Professor Michael Fourman (mikef@dcs.ed.ac.uk)
Head of Informatics Planning Unit Head of Department Co-Director, LFCS Convenor Board of Examiners CS3 CS4 MSc

Verification and synthesis formal models of digital behaviour and design; abstraction and refinement in digital design; formally-based system-design tools; proof and proof assistants. Categorical semantics. Distributed ML

Dr Stephen Gilmore (stg@dcs.ed.ac.uk)
CS/Mathematics & CS/Statistics Tutor

Formal methods of program development; formal specifications; software engineering; software tools; specification of concurrent systems.

Dr Jane Hillston (jeh@dcs.ed.ac.uk)
MSc selector

stochastic process algebras, Markov processes and performance modelling

Martin Hofmann (mxh@dcs.ed.ac.uk)

Infinite computations and nondeterminism in type theory.

Dr Tim Hopkins (tmh@dcs.ed.ac.uk)
Director of Studies; CS/EE & CS/Physics Tutor; BCS rep

Special-purpose and high-performance processor design; sparse matrix and vector processing.

Fred Howell (fwh@dcs.ed.ac.uk)

Experiments with an object oriented design and simulation environment.

Professor Roland Ibbett (rni@dcs.ed.ac.uk)
Vice-Principal (Planning, Budgeting & Development)

Computer and network architectures; design, simulation and performance evaluation of parallel and novel computer systems.

Dr Mark Jerrum (mrj@dcs.ed.ac.uk)
Research Coordinator

Computational complexity, efficient algorithms (including those involving randomisation); combinatorial mathematics, random graphs; quantitative treatment of rates of convergence in stochastic systems; computational learning theory.

Dr Kyriakos Kalorkoti (kk@dcs.ed.ac.uk)
Director of Studies

Computational complexity with special interest in algebraic complexity; computer algebra; decision problems in group theory.

Roni Khardon (roni@dcs.ed.ac.uk)

Computational Learning Theory; Knowledge Representation and Reasoning; Efficient Algorithms.

Eric McKenzie (ram@dcs.ed.ac.uk)
Director of Studies, First Year Course Organiser.

Computer graphics

Michael O\'Boyle (mob@dcs.ed.ac.uk)

Auto-parallelising compilers - MARS. Adaptive compilation for VLIW processors. Linear program transformation. Parallelisation of commercial languages and applications. Compiler directed memory coherence. Compiler impact on architecture.

Professor Gordon Plotkin (gdp@dcs.ed.ac.uk)
SERC Senior Research Fellow; Co-Director, LFCS

Applications of logic, especially denotational and operational semantics of programming languages; semantics of type systems, monadic theories of computation, general proof theory and the semantics of natural language

Dr Rob Pooley (rjp@dcs.ed.ac.uk)
Director of Studies,MSc Admissions

Simulation methodologies; object oriented techniques; performance modelling; distributed computing (networks of workstations); component based and quantitative software engineering

Dr Rob Procter (rnp@dcs.ed.ac.uk)
Director of studies and undergraduate selector

Human-Computer Interaction, especially interfaces for medical imaging applications and group-based work. Organisational factors in systems design and design methodologies; social shaping of Information Technology.

Dr Roopa Rangaswami (ror@dcs.ed.ac.uk)
M.Sc Director of Studies

Skeleton-based parallel programming; BMF as a parallel programming model; Cost models; parallel algorithms; other models of parallel computation

Dr David Rees (djr@dcs.ed.ac.uk)
MSc Course Organiser

Computer Aided Design tools for VLSI design; silicon compilation from behavioral descriptions; hardware description languages; silicon assembly; novel VLSI architectures; configurable cellular arrays.

Dr Don Sannella (dts@dcs.ed.ac.uk)
SOEID/RSE Research Fellow; Director, LFCS

Algebraic specification and formal program development, mechanised reasoning, programming methodology and functional programming languages.

Dr Alex Simpson (als@dcs.ed.ac.uk)

Category theory, domain theory, logic, type theory

Dr Alan Smaill (smaill@dcs.ed.ac.uk)
CS/AI Tutor

Theorem proving, automated inference and its control; constructive logics.

Dr Ian Stark (stark@dcs.ed.ac.uk)

Semantics of computation, i.e. mathematical models for the meaning and behaviour of programming languages; functional programming, in particular its interaction with state and concurrency; category theory; domain theory.

Dr Perdita Stevens (pxs@dcs.ed.ac.uk)
In charge of the Edinburgh Concurrency Workbench, an automated tool for the manipulation and analysis of concurrent systems

Concurrency;logic;games;systems (re-)engineering;object-orientation

Professor Colin Stirling (cps@dcs.ed.ac.uk)
Co-ordinator - Phd Admissions and Thesis Proposal Reviews

Models and calculi for concurrent computation; modal and temporal logics with fixed points and their applications to verification and description of program properties.

Dr Peter Thanisch (pt@dcs.ed.ac.uk)

database systems, distributed systems, workflow management

Dr Nigel Topham (npt@dcs.ed.ac.uk)
CS3 Course Organiser

Computer architecture, and parallel computers; the design of high-performance computing systems, architecture simulation tools, and quantitative analysis of high performance systems.

Daniele Turi (dt@dcs.ed.ac.uk)

Dr Alex Wight (asw@dcs.ed.ac.uk)
IS1 Course Organiser; Overseas Student Exchange Programme Co-ordinator

computer communications networks; workload characterisation.

Return to the Department of Computer Science Home Page