CV

Richard A. Hayden
rh_nospam_@doc.ic.ac.uk
http://www.doc.ic.ac.uk/~rh

Office 348
Department of Computing
180 Queen's Gate
South Kensington Campus
Imperial College London
London SW7 2AZ

Research positions

Research Associate
Department of Computing, Imperial College London
UK
July 2009 - present

Analysis of massively-parallel stochastic performance models of computer and communication systems using fluid-analysis, mean-field and related techniques. Funded by EPSRC Analysis of Massively Parallel Stochastic Systems (AMPS) research grant.

Education

• Ph. D. Computational Science
  Imperial College London, 2011
  Scalable Performance Analysis of Massively Parallel Stochastic Systems
• MSci Mathematics and Computer Science (first class honours, top of class)
  Imperial College London, 2007
  Master's Thesis: "Addressing the state space explosion problem for PEPA models through fluid-flow approximation"

Awards and honours

• Finalist for INFORMS Doctoral Dissertation Award for Operations Research in Telecommunications 2012
• Microsoft Research Science, Engineering and Technology Computational Science Student of the Year 2007
• Governors' Prize for the best overall result in the graduating class of the Joint Honours Mathematics with Computer Science course, Imperial College London, 2007
• Donald Davies Memorial Project Prize for the best final year project, Imperial College London, 2007
• Joint Honours Mathematics with Computer Science Non-final Year Prize, and finished top of the class, Imperial College London, 2006
• David Howarth Group Project Prize, Imperial College London, 2006
• Certificate of Merit for best student on placement, British Civil Service, 2006
• Finished top of the class, Imperial College London, 2005
• Joint Honours Mathematics with Computer Science Non-final Year Prize, and finished top of the class, Imperial College London, 2004

Undergraduate teaching

• Nine weeks of first-year computer architecture course on Intel assembly language programming. Included setting and marking tutorial and exam questions. Imperial College London, Spring 2011
• Series of `advanced' lectures for strong first year computing students on mathematics with computing applications. Imperial College London, Spring 2008, 2009 & 2010
• Second year operating systems lab lectures. Imperial College London, Spring 2008, 2009 & 2010
• Mathematical Methods Tutor, Imperial College London, 2007-2008, 2008-2009 & 2009-2010
• Undergraduate Teaching Assistant, first year programming lab, Imperial College London, 2006-2007
• Undergraduate Teaching Assistant, second year operating systems (Linux) lab, Imperial College London, Spring 2006, 2007, 2008 & 2009

Other employment

Applied Researcher
British Civil Service
UK
July 2006 - October 2006

Customer-driven data analysis, subsequent design, implementation and testing of high-speed stateful processing algorithm now running as a core component of one of their key systems. Reference on request.

Software Developer/Tester
Cognito Ltd. Mobile Data Solutions
Newbury, UK
July 2004 - October 2004

Database- and network-driven Windows development for mobile data solution provider, technical support to customers and software testing. Reference on request.

Tutorials

• Basic Theory and some Applications of Martingales, 12th Joint SIGMETRICS / Performance Conference, London, 2012

Journal publications

• Richard A. Hayden, Jeremy T. Bradley, Allan Clark Performance specification and evaluation with Unified Stochastic Probes and fluid analysis, IEEE Transactions on Software Engineering, to appear 2012
• Richard A. Hayden, Anton Stefanek, Jeremy T. Bradley, Fluid computation of passage-time distributions in large Markov models, Theoretical Computer Science, 2012
• Richard A. Hayden, Jeremy T. Bradley, A fluid analysis framework for a Markovian process algebra, Theoretical Computer Science, 2010
• Richard A. Hayden, Jeremy T. Bradley, Evaluating fluid semantics for passive stochastic process algebra cooperation, Performance Evaluation, 2009

Publications in peer-reviewed conferences

• Richard A. Hayden, Mean field for performance models with deterministically-timed transitions, QEST 2012, 9th International Conference on Quantitative Evaluation of Systems, London, September 2012
• Matej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, Specification and efficient computation of passage-time distributions in GPA, QEST 2012, 9th International Conference on Quantitative Evaluation of Systems, London, September 2012
• Anton Stefanek, Richard A. Hayden, Marc Mac Gonagle, Jeremy T. Bradley, Mean-field analysis of Markov models with reward feedback, ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications, Grenoble, June 2012
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, GPA - A tool for fluid scalability analysis of massively parallel systems, QEST 2011, 8th International Conference on Quantitative Evaluation of Systems, Germany, September 2011
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, Fluid analysis of energy consumption using rewards in massively parallel Markov models, ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, Germany, March 2011
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, A new tool for the performance analysis of massively parallel computer systems, QAPL 2010, 8th Workshop on Quantitative Aspects of Programming Languages, Cyprus, March 2010
• Richard A. Hayden, Jeremy T. Bradley, Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems, MASCOTS 2009, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, United Kingdom, September 2009
• Richard A. Hayden, Jeremy T. Bradley, Fluid semantics for passive stochastic process algebra cooperation, VALUETOOLS 2008, 3rd International Conference on Performance Evaluation Methodologies and Tools, Greece, October 2008
• Jeremy T. Bradley, Richard A. Hayden, William Knottenbelt, Tamas Suto Extracting response times from fluid analysis of performance models, SIPEW 2008, SPEC International Performance Evaluation Workshop, Germany, June 2008
• Andrew Cheadle, Tony Field, John Ayres, Neil Dunn, Richard A. Hayden, Johan Nyström-Persson, Visualising dynamic memory allocators, ISMM 2006, International Symposium on Memory Management, Canada, June 2006.

Short journal publications

• Richard A. Hayden Mean-field approximations for performance models with generally-timed transitions, SIGMETRICS Performance Evaluation Review, 2011
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley Fluid computation of the performance-energy trade-off in large scale Markov models, SIGMETRICS Performance Evaluation Review, 2011
• Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek, Invited Response to Computer Journal Lecture by Prof. J. Hillston, The Computer Journal, 2012

Publications in national workshops

• Richard A. Hayden, Convergence of ODE approximations and bounds on performance models in the steady-state, PASTA 2010, 9th Workshop on Process Algebra and Stochastically Timed Activities, September 2010
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, Hybrid analysis of large scale PEPA models, PASTA 2010, 9th Workshop on Process Algebra and Stochastically Timed Activities, September 2010
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, GPA - Tool for rapid analysis of very large scale PEPA models, UKPEW 2010, 26th UK Performance Engineering Workshop, July 2010
• Richard A. Hayden, Jeremy T. Bradley, A functional central limit theorem for PEPA, PASTA 2009, 8th Workshop on Process Algebra and Stochastically Timed Activities, August 2009
• Jeremy T. Bradley, Richard A. Hayden, William Knottenbelt, Tamas Suto, Extracting fluid response times from PEPA models, PASTA 2008, 7th Workshop on Process Algebra and Stochastically Timed Activities, July 2008
• Richard A. Hayden, Jeremy T. Bradley, ODE-based general moment approximations for PEPA, PASTA 2008, 7th Workshop on Process Algebra and Stochastically Timed Activities, July 2008
• Richard A. Hayden, Jeremy T. Bradley, Fluid-flow solutions in PEPA to the state space explosion problem, PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities, July 2007

Service

• President, Imperial College Union LGBT Society, 2007-2008

Skills

• Languages: English (native), intermediate German
• Programming languages: C, C++, Perl, Java, Python, PHP, Unix, Linux, Bash scripting, LaTeX, Matlab, IA-32 Assembly, SQL