Current research interests (alphabetical): parallel algorithms, performance engineering, queueing theory, stochastic models, stochastic process algebra.
PhD from Imperial College in 1979 after spending two years doing real work in industry 1974-5.
Two books: Functional Programming, coauthored with Tony Field, and Performance Modelling of Communication Networks and Computer Architectures, coauthored with Naresh Patel.
SPAs, SPNs and efficient stochastic analysis; application of stochastic modelling to biological systems and internet security
Queueing theorist; PEPA enthusiast/researcher; GRID convert; inventor of quasi-separability
Parallel and distributed tools and techniques; virtualised data storage systems.
Interests: scaling phenomena, GRID performance, stochastic processes
Semantics for concurrent programming languages and process algebra, in particular ambient calculus.
Working on fluid-analysis of stochastic process algebra models on the AMPS project.
Asynchronous iterative methods for the solution of linear systems.
Working on AMPS project on spatial stochastic process modelling
Head of the London e-Science Centre and Director of Imperial College Parallel Computing Centre.
Heads up the software performance optimisation research group.
Daniel works with Berc Rustem on financial modelling and optimisation.
Quality of information in sensor networks, Queuing theory, DNA sequencing, machine learning, human spine modeling, signal processing
Inventor of the stochastic process algebra, PEPA, coinventor of the discrete spatial process algebra, PEPA nets. Interested in stochastic modelling for biological applications.
Working on automatic spotting of product forms and re-use of models and solutions amongst a broad community via networked services.
Works on ipc and ipclib amongst other things.
Collaborator on all things PEPA; co-inventor of PEPAnets; functional programming guru (SML)
Current research interests include performance query specification with Performance Trees, parallel and distributed performance analysis, and stochastic modelling.
Expert in performance modelling of RAID systems.
Formerly: Systems Manager, DoC Computing Support Group
PhD student in LeSC working on large-scale authentication systems.
Interests: Model Checking, Stochastic Logic, CTMC/CTSMC, Wireless Communication, Hybrid Systems, Navigation and Tracking, Signal Estimation and Detection.