Department of Computer Science
Postgraduate Students
Return to the Department of Computer Science
Home Page
The postgraduate students working in the department are listed below:
- David Aspinall (da@dcs.ed.ac.uk)
- Supervisor: Don Sannella , Benjamin Pierce
- Project: Foundations for computer-assisted proof checkers
- Geoff Ballinger (ghb@dcs.ed.ac.uk)
- Supervisor: Stuart Anderson , J.Ponton , @ed
- Project:
- Andrew Barber (agb@dcs.ed.ac.uk)
- Supervisor: Gordon Plotkin
- Project: Classical linear logic and concurrency
- Paul Bedworth (pdb@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Juliusz Chroboczek (jec@dcs.ed.ac.uk)
- Supervisor: Samson Abramsky
- Project: Game Semantics and Subtyping
- Graham Clark (gcla@dcs.ed.ac.uk)
- Supervisor:
- Project:
- David Crooke (dcc@dcs.ed.ac.uk)
- Supervisor: Rosemary Candlin , Todd Heywood
- Project: Methods for architecture-independent parallel software development
- Stephen Cusack (sdc@dcs.ed.ac.uk)
- Supervisor: Rob Pooley
- Project: Performance evaluation of multiservice gigabit rate telecommunication networks.
- Alberto De-souza (afd@dcs.ed.ac.uk)
- Supervisor: Nigel Topham
- Project: computer architectures
- Ewen Denney (ewd@dcs.ed.ac.uk)
- Supervisor: Gordon Plotkin
- Project: A general theory of program refinement
- Luis Dominguez (lald@dcs.ed.ac.uk)
- Supervisor: Don Sannella , Colin Stirling
- Project: Object-Based Program Specification and Verification
- Adam Donlin (adamd@dcs.ed.ac.uk)
- Supervisor: Gordon Brebner
- Project: A Dynamically Self-Modifying Processor Architecture and its Application to Active Networking
- Julyan Elbro (jje@dcs.ed.ac.uk)
- Supervisor: Colin Stirling
- Project: Semantics and logics of programs
- Jose Espirito Santo (jes@dcs.ed.ac.uk)
- Supervisor: Samson Abramsky
- Project:
- Marcio Fernandes (mmf@dcs.ed.ac.uk)
- Supervisor: Roland Ibbett , Nigel Topham
- Project: Instruction-level Parallelism - VLIW Architectures
- J. Ulisses Ferreira Jr (juf@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Sibylle Froeschle (sib@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Carsten Fuhrmann (car@dcs.ed.ac.uk)
- Supervisor:
- Project: Semantics for Continuations
- Ana Goldenberg (ag@dcs.ed.ac.uk)
- Supervisor: Rob Procter
- Project: Human computer interaction
- Steven Haeck (sjh@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Peter Hancock (pgh@dcs.ed.ac.uk)
- Supervisor: Gordon Plotkin
- Project: Logics and Proof, Logical Frameworks
- Jo Hannay (joh@dcs.ed.ac.uk)
- Supervisor: Don Sannella
- Project:
- Mark Hartswood (mjh@dcs.ed.ac.uk)
- Supervisor: Rob Procter
- Project: Human factors in computer-aided mammography
- Rycharde Hawkes (rjh@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Yasushi Hayashi (yhay@dcs.ed.ac.uk)
- Supervisor: Murray Cole
- Project:
- Tim Heap (timh@dcs.ed.ac.uk)
- Supervisor: Rod Burstall
- Project: Computer-Aided Formal Reasoning and Mathematical Foundations
- Carlos Herrera (carh@dcs.ed.ac.uk)
- Supervisor: Peter Thanisch
- Project: A Performance Analysis of Concurrency Control Mechanisms in
an Object-Oriented Database Management System.
- Cristian Ionitoiu (cristi@dcs.ed.ac.uk)
- Supervisor: Samson Abramsky
- Project:
- Adel Jomah (ajj@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Saif Khan (suk@dcs.ed.ac.uk)
- Supervisor: Kevin Mitchell , Stuart Anderson
- Project: Machine assisted proofs of operational semantics
- Dilsun Kirli (zdk@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Benjamin Kleinman (bkk@dcs.ed.ac.uk)
- Supervisor: ,
- Project: A Development Environment for EML
- Thomas Kleymann (tms@dcs.ed.ac.uk)
- Supervisor: Rod Burstall , Paul Jackson
- Project: Co-development of imperative programs and their correctness proofs in a type-theoretic environment
- Nils Knafla (nk@dcs.ed.ac.uk)
- Supervisor: Peter Thanisch
- Project: Prefetching techniques for object-oriented databases
- James Laird (jdl@dcs.ed.ac.uk)
- Supervisor: Samson Abramsky
- Project: Game semantics, control operators, and classical logic
- Yong Lee (yl@dcs.ed.ac.uk)
- Supervisor: Alex Wight
- Project:
- Timothy Lewis (tl@dcs.ed.ac.uk)
- Supervisor: Damal Arvind ,
- Project: Static Analysis of Recursive Data Structures
- Budi Ling (bl@dcs.ed.ac.uk)
- Supervisor: Michael Fourman
- Project: reasoning about ML
- Patricia D. L. Machado (pdlm@dcs.ed.ac.uk)
- Supervisor: Don Sannella
- Project: Specification Based Testing
- Rangsipan Marukatat (ranm@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Bruce J. McAdam (bjm@dcs.ed.ac.uk)
- Supervisor: Stephen Gilmore
- Project: See http
- Conor McBride (ctm@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Simon McPartlin (sdnm@dcs.ed.ac.uk)
- Supervisor: Eric McKenzie , Kyriakos Kalorkoti
- Project:
- Jonathan Meddes (jmx@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Matias Menni (matias@dcs.ed.ac.uk)
- Supervisor:
- Project:
- James Moloney (jamesm@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Alvaro Moreira (afm@dcs.ed.ac.uk)
- Supervisor: Michael Fourman , Don Sannella
- Project: Types systems for concurrent languages
- Matthew Morley (mjm@dcs.ed.ac.uk)
- Supervisor: Stuart Anderson
- Project:
- Robert Mullins (rdm@dcs.ed.ac.uk)
- Supervisor:
- Project: The SW/HW interface in asynchronous ILP processors
- Alan Paxton (alanpx@dcs.ed.ac.uk)
- Supervisor: Stuart Anderson , George Cleland
- Project: High integrity systems design
- Rob Payne (rep@dcs.ed.ac.uk)
- Supervisor: Gordon Brebner , Iain.Lindsay , @ed
- Project: Self-Timed Field Programmable Gate Array (FPGA) Systems
- Claudio Russo (cvr@dcs.ed.ac.uk)
- Supervisor: Don Sannella , Kevin Mitchell
- Project: The design of module systems for typed, functional programming languages
- Johannes Schneiders (josch@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Dilip Sequeira (djs@dcs.ed.ac.uk)
- Supervisor: Michael Fourman
- Project: Type inference with subtyping and polymorphism.
- Josh Singer (jbs@dcs.ed.ac.uk)
- Supervisor: Alex Simpson
- Project:
- Salvador Sotelo-Salazar (sal@dcs.ed.ac.uk)
- Supervisor: Tim Hopkins
- Project: Static Analysis and Scheduling for Asynchronous Processors
- Christos Sotiriou (cxs@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Dominic Stanyer (dsjs@dcs.ed.ac.uk)
- Supervisor: Rob Procter
- Project:
- Bruce Stenning (bas@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Jitka Stribrna (js@dcs.ed.ac.uk)
- Supervisor: Mark Jerrum
- Project:
- Nin Suen (nps@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Konstantinos Tourlas (kxt@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Chris Walton (cdw@dcs.ed.ac.uk)
- Supervisor:
- Project: Mobile-Code, Global Computation, Standard ML
- Fang Wang (fang@dcs.ed.ac.uk)
- Supervisor:
- Project:
- Lawrence Williams (lmw@dcs.ed.ac.uk)
- Supervisor:
- Project: Model Abstraction in HASE
- Kann-Jang Yang (ky@dcs.ed.ac.uk)
- Supervisor: Rob Pooley
- Project: Process modelling to support software development under the CMM
Return to the Department of Computer Science
Home Page