# Jeremy Bradley

## Research Related

### Publications

- Current publications list: Jeremy Bradley publications
- Older publications: publication list prior to 2006

### Current Ph.D Students

- Anton Stefanek started his PhD in 2009 by examining the errors produced by fluid approximations of PEPA models. He wrote the Grouped PEPA Analyser tool GPA, which can be used to analyse industrial scale Markov performance models. He is now researching reward calculations in large Markov models so as to better capture energy, power, cost and trust measures in quantitative modelling. He has previously written the JSPIM tool, a powerful ODE-based analyser for the stochastic pi calculus, as part of his JMC undergraduate project.
- Richard Hayden started his PhD in 2007 on fluid approximations of PEPA models and has pioneered work in the rapid calculation of response time distributions in large Markov models since then. His main achievement lies in formalising the construction and convergence of fluid analysis for massive CTMCs which allow the generation of higher moments including the variance for such models (TCS 2010). He has over 11 publications since starting his PhD. He was awarded the Microsoft Research Award for the Best Computational Science Student in 2007 for his JMC undergraduate project, on fluid-flow approximation in Markov models. He is currently RA on the AMPS project.

### Completed Ph.D Students

- Douglas de Jager completed his thesis on Asynchronous Iterative Solution for Dominant Eigenvectors with Applications in Performance Modelling and PageRank in 2009. It focuses on efficiently distributing linear system calculation using asynchronous iterations so that both PageRank and many related performance modelling calculations can be accelerated. His article on Extracting State-Based Performance Metrics using Asynchronous Iterative Techniques describes how performance analysis of CTMCs and SMPs can be distributed effectively on heterogeneous clusters and clouds (PEJ 2010). He recently sold his first startup, BytePlay, in May 2010 and is setting up his second as we speak. He previously had completed an MSc thesis on distributed PageRank computation at Imperial.

### Research activity

- Related conferences: Performance conference database
- Imperial PEPA Compiler: IPC
- Program co-chair: PASM 2004, PASM 2005
- General organiser: PASTA 2004, PASTA 2006
- PC member: PMEO-PDS 2005, Performance Modelling in Wired, Wireless and Mobile Networking and Computing 2005, 2nd European Performance Evaluation Workshop
- Proceedings/special-issue co-editor: TOOLS 2002, PASM 2004

### Research Interests

- Research group: AESOP group
- Performance modelling formalisms: stochastic process algebras: e.g. PEPA, PEPAnets, stochastic Petri nets
- Analysis techniques: analytic and numerical solution techniques for Markov and semi-Markov chains
- Performance measurement languages: performance-oriented logics and stochastic probes for specifying stochastic metrics in models
- Related stochastic modelling topics: stochastic spatial algebras with applications to computer security

## Teaching

### Autumn

- Course 145: Mathematical Methods
- Course 337: Simulation and Modelling

### Previous Courses

- Spring 2004–2010 Performance Analysis
- Spring 2004–2005: Reasoning about Programs: induction, pre/post/mid-conditions, loop invariants
- Spring 2004: Advanced Computer Architecture: Google and PageRank

## Personal

- THES feature: 17 December 2004 article in Times Higher with Alan Clements from Teesside
- Sony Vaio laptop: linux on the C1MHP
- Summary of UK tax system: IFS UK Tax Survey 2001/02, 2003/04 and 2004/05, a model of clear technical presentation
- Imperial College logo: svg | eps
- A poem: The Word, John Masefield
- AESOP homepage: http://aesop.doc.ic.ac.uk/people/jb/

## Contact Details

- Location: Room 372, Huxley Building, South Kensington Campus
- Tel: 48349

- Email: search for name here
- PGP: public key block

- Postal address: Department of Computing, Imperial College London, Huxley Building, 180 Queen's Gate, London SW7 2BZ, UK
- Tel: +44 20 7594 8932
- Fax: +44 20 7581 8024

## Links

### Internal

- DOC internal
- DOC people search
- DOC database
- DOC publications
- DOC calendar
- DOC computing courses
- DOC exams page
- CATE assessment engine
- Infoed
- Spectrum

### News and Sport

- BBC News Online
- BBC Radio
- BBC Sport
- CricInfo
- BBC's Oldham page

### Tools

- Translation Service
- Currency Converter
- StreetMap

### Services

- UK Rail Timetable
- Events Listing
- FT Fund Statistics
- Movie Database
- London Underground Disruption

### Corporates

- IF Bank: login
- Cahoot: login
- One.Tel: login
- MBNA