DSG Members

Academic

photo Andrew Ireland
Research interests: automated reasoning, software verification, proof planning 
photo Ewen Maclean
 
photo Greg Michaelson
Research interests: programming language design and implementation for parallelism, mobility and embedded systems 
photo Hans-Wolfgang Loidl
Research Interests: Functional Programming, Parallel Computation, Embedded Systems Programming, Automated Theorem Proving, Symbolic and Algebraic Computation. 
photo Jamie Gabbay
Research interests: logic, lambda-calculi, semantics. 
photo Lilia Georgieva
Research interests: theorem proving, decidable languages, knowledge representation, program verification 
photo Peter King
 
photo Phil Trinder
Research Interests: The design, implementation and evaluation of high-level parallel and distributed languages 
photo Rob Pooley
I work in modelling and design, particularly performance modelling and software engineering. 
photo Sven-Bodo Scholz
Research Interests: Data parallelism, declarative languages 

Research Staff

photo Abyd Al Zain
 
photo Gudmund Grov
My main research interest is formal specification and verification. 
photo Mustafa Aswad
Research interests: High Level Language Implementation for Non-uniform Processor Hierarchies 
photo Patrick Maier
Research interests: distributed and parallel programming, program verification, temporal logics 
photo Rob Stewart
 

Research Students

photo Ali Abdalla, Etorban
 
photo Aliaa Mahfooz Ali Alabdali
 
photo Bill J. Ellis
 
photo Chunxu Liu
 
photo Dominic Mulligan
 
photo Husna Osman
 
photo Ianthe Hind
Automated Reasoning for Separation Logic 
photo Ibrahim Idress Skloul
 
photo Imran Zia
 
photo James Redfern
 
photo Khari Armih
 
photo Lu Fan
 
photo Malak Aljabri
 
photo Mikai Yang
 
photo Natalia Chechina
I'm interested in simulation modelling of multiprocessor structures and networks. 
photo She Ri Gu Leng
 
photo Yan Li
Research interests: Performance modelling on wireless networks, particularly on routing protocols for mobile ad hoc networks. 
photo Zhuozhi Chen
My research interests is mainly in Software Engineering, specifically in Requirement Engineering.  

Previous Group Members

photo Andrew Cook
 
photo Emilie Dorchies
 
photo Jamie Stark
 
photo Mike Wicks
 
photo Paul Bristow
 
photo Rick Dewar
 
photo Zezhi Chen
Mainly working on the Image Processing and Computer Vision. 

Friends

photo Benjamin Gorry
BAE Systems 
photo Kevin Hammond
University of St. Andrews 
photo Norman Scaife
 
photo Robert Pointon
Mainly working on the Hume compiler and tools, also contribute to Hume design and user support... 
photo Xiao Yan Deng