Department of Computer Science

Research Staff

The departments' research staff are listed below with their research interests.

Research Assistants

Melanie Baird (mbb@dcs.ed.ac.uk)

Richard Boulton (richb@dcs.ed.ac.uk)

automated theorem proving; mechanized support for reasoning about computer languages; functional programming

Paul Coe (psc@dcs.ed.ac.uk)

Dr Adriana Compagnoni (abc@dcs.ed.ac.uk)

programming language semantics, type theory, subtyping, object calculi, and object oriented programming.

Luke Emmet (luke@dcs.ed.ac.uk)

Andrzej Filinski (aof@dcs.ed.ac.uk)

programming language semantics (monads, continuations); logical frameworks (modularity, logical-relations proofs)

Marcelo Fiore (mf@dcs.ed.ac.uk)

Semantics of programming languages and logics to reason about programs; categorical treatment of non-terminating computations and recursive definitions, and categorical logics for computable functions.

Dr Healfdene Goguen (hhg@dcs.ed.ac.uk)

Type theory as language for verification, metatheory of type theory, subtyping, garbage collection, modules for programming languages, combinators and substitution, interfaces for theorem provers.

Kohei Honda (kohei@dcs.ed.ac.uk)

Dr Paul Jackson (pbj@dcs.ed.ac.uk)

Design of theorem proving environments. Hardware and software verification. Formal mathematics. Computer algebra.

Graham Jones (gxj@dcs.ed.ac.uk)

Compilation and optimisations techniques for high performance architectures. Compilation techniques for high performance architectures.

Timothy Kempster (tdk@dcs.ed.ac.uk)

Distributed Protocols, Atomic Commit, Binary Concensus, Replication, Leadership Election, Models of distributed computing, CCS, Concurency Workbench.

Gordon Lang (gal@dcs.ed.ac.uk)

Ralph Loader (loader@dcs.ed.ac.uk)

John Longley (jrl@dcs.ed.ac.uk)

Applications of topos theory to programming language semantics.

Kenneth MacDonald (ken@dcs.ed.ac.uk)

Dr Dave Matthews (dcjm@dcs.ed.ac.uk)

Standard ML; Poly/ML; compilers for functional languages; concurrency, particularly concurrent implementations of Standard ML.

Paul-Andre Mellies (paulm@dcs.ed.ac.uk)

Dr John Power (ajp@dcs.ed.ac.uk)

Category theory and logical frameworks.

Nigel Thomas (nat@dcs.ed.ac.uk)

Martin Wehr (wehr@dcs.ed.ac.uk)

Stuart Young (say@dcs.ed.ac.uk)

Honary Fellows

Dr Rosemary Candlin (rc@dcs.ed.ac.uk)

Frank Stacey (fs@dcs.ed.ac.uk)

Return to the Department of Computer Science Home Page