cv
Richard A. Hayden
rh_nospam_@doc.ic.ac.uk
http://www.doc.ic.ac.uk/~rh
+44 (0)7789 488893
Office 348
Department of Computing
180 Queen's Gate
South Kensington Campus
Imperial College London
London SW7 2AZ
education
- Ph. D. Computational Science
Imperial College London, 2010 (ongoing)
Fluid-flow techniques for quantitative (stochastic) performance
analysis/modelling
- 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"
- Grade A GCE A-Level Mathematics, Further Mathematics, Physics,
Computing, German and General Studies (6 subjects all at grade A). Merit
GCE AEA German and Grade 2 Pass STEP Mathematics Level Three. Alton Sixth
Form College, 2003. Seven GCSEs at grade A* and two at grade A.
Robert May's School, 2001
awards and honours
-
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
-
Highest academic performer at A-Level, top five nationally for A-Level
Computing, Institute of Physics A-Level Physics Coursework Prize, Alton College, 2003
-
Governors' Prize for Outstanding Achievement, Robert May's School, 2001
journal publications
publications in peer-reviewed conferences
-
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley, A new tool for the
performance analysis of massively parallel computer systems, QAPL '10, 8th Workshop on
Quantitative Aspects of Programming Languages, Cyprus, 27-28 March 2010
-
Richard A. Hayden, Jeremy T. Bradley, Shared Transaction Markov Chains for
Fluid Analysis of Massively Parallel Systems, MASCOTS '09, 17th Annual Meeting of the IEEE
International Symposium on Modelling, Analysis and Simulation of Computer and
Telecommunication Systems, London, 21-23 September 2009
-
Richard A. Hayden, Jeremy T. Bradley, Fluid semantics for passive
stochastic process algebra cooperation, VALUETOOLS '08, 3rd
International Conference on Performance Evaluation Methodologies and Tools, Athens, 20-24 October 2008
-
Jeremy Bradley, Richard A. Hayden, William Knottenbelt, Tamas Suto Extracting response
times from fluid analysis of performance models, SIPEW'08, SPEC International Performance
Evaluation Workshop, Darmstadt, 27-28 June 2008
-
Andrew Cheadle, Tony Field, John Ayres, Neil Dunn, Richard A. Hayden, Johan
Nyström-Persson, Visualising dynamic memory
allocators, ISMM '06, International Symposium on Memory Management, Ottawa, June 2006.
employment
Applied Researcher
British Civil Service
UK
July 2006 - October 2006
Customer-driven data pattern 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.
Undergraduate Research Placement
Dept. of Computing, Imperial College London
London, UK
July 2005 - October 2005
Developed from scratch, compressed memory page cache for the Linux kernel, to
use as a second-year undergraduate operating systems laboratory exercise in the
department. Supervisor: Olav Beckmann. 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. Supervisor: Andy Potter.
Reference on request.
teaching experience
-
Mathematical Methods Tutor, Imperial
College London, 2007-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 2007
-
Undergraduate Teaching Assistant, Second Year Operating Systems (Linux)
Lab, Imperial College London, Spring 2006
service
-
President, Imperial College Union LGBT Society, 2007-2008
skills
-
Languages: English (native), intermediate German
-
Computing Skills: C, C++, Perl, Java, Python, PHP, Unix,
Linux, Bash scripting, LaTeX, Matlab, IA-32 Assembly, SQL