Dr Matthew Craven
Profiles

Dr Matthew Craven

Lecturer in Applied Mathematics

School of Engineering, Computing and Mathematics (Faculty of Science and Engineering)

Role

Lecturer in Applied Mathematics (nominated for SSTAR awards in the categories of "Inspirational Teaching" and "Sensational Programme Lead").

Lead of the Plymouth GPU Research Center and the Big Data research group.

Programme Manager for the (six) Foundation Year Technology programmes in the Faculty of Science and Engineering. Stage Tutor and Senior Personal Tutor for four of these programmes.

Member of the University Senate.

School disability and mental health champion. Certified Mental Health First Aider.

Admissions Tutor for BSc (Hons) Mathematics with Foundation Year. Assistant Admissions Tutor for Mathematical Sciences.

Applied Mathematics seminar joint organiser - if you wish to give a seminar then please contact me. (Current seminar details available on CMS seminars calendar and UoP Mathematical Sciences Seminar Page.)

Qualifications

FHEA (Higher Education Academy)

Postgraduate Certificate in Academic Practice

PhD in Mathematics

Professional membership

Member of the Institute of Mathematics and its Applications
Member of the London Mathematical Society
Member of the Foundation Year Network

Teaching interests

Undergraduate

2019-20 Sem 1:
MATH051 * Mathematical Methods I
MATH054 * Mathematics for Computing
MATH055 Mathematics I
MATH3628 Final Year Mathematics Projects

2018-19 Sem 2:
MATH056 Mathematics 2
MATH2604 Mathematical Methods and Applications
MATH3628 Final Year Mathematics Projects
PRCO304 Computing Projects

Postgraduate

CPD courses on Big Data (April 2019)
Introduction to R for research staff and PhD students - Doctoral College

* denotes module leadership.

I also have many years of teaching experience in many different venues and levels, from foundation year to MSc levels and PhD workshops. I have a proven track record of taking student research to publication, with articles in LNCS and Plymouth Student Scientist.

Staff serving as external examiners

PhD External at University of Greenwich (2019)

Research interests

Applications of artificial intelligence and HPC:
  • Combinatorial enumeration methods for approximation of optimal solutions
  • Hyperheuristics and machine learning for discovery of symbolic objects
  • Offshore renewable energy
  • Group-theoretic cryptanalysis
  • Copulas and combinatorial optimisation in financial mathematics for business
  • Real time visualisation and performance analysis of algorithms (particularly Evolutionary Algorithms and variants)
  • Structure-preserving mappings and algorithms
  • Mathematics education
In many of the above I make use of parallel computation on an HPC cluster and/or GPUs.

Current PhD Students:

(2016 - present) T. Alotaibi, Large Scale Portfolio Optimisation Using Heuristic Algorithms Built Around Copula Financial Models (Director of Studies)
(2019) M. Walter, Understanding Optimisation Processes with Biologically-Inspired Visualisations (2nd Supervisor)
(2020) A. Verulkar, Game-Theoretic Approaches Towards Insider Threat Detection and Mitigation (2nd Supervisor)

Other research

I am an external member of the Cybersecurity research group at the University of Abertay Dundee.

Grants & contracts

Externally Funded Projects:

2014-2017: NVIDIA: Award of NVIDIA GPU Research Center. (Principal investigator.)
Seven CMS staff and one colleague in Computing carried out research ranging from Particle Physics, Industrial Engineering to Cryptanalysis supported by hardware from NVIDIA. Successfully renewed in 2015 and 2016. Since then, the centre has continued as a pan-school initiative in the guise of the Plymouth GPU Research Centre.

2016: Medicem: "Clinical Assessment of the WIOL-CF". P. Buckhurst, H. Buckhurst, P. Hewson, M. Craven.

Other Publications

Several journal papers currently submitted or in preparation (as of 14/11/19):

  • M. J. Craven, J. Sharp, Evaluation of the effectiveness of the Foundation Year in Mathematics and the impact on student recruitment and retention, in progress.

  • D. J. Walker, M. J. Craven, A Visualisation-Based Benchmarking Approach in Water System Design, in progress. 

  • D. I. Graham, M. J. Craven, Sifted QP Solutions of Portfolio Optimisation Problems with Small Cardinality Constraints, accepted subj. minor revs. (Sept 2019).

  • M. J. Craven, D. I. Graham, A Matrix-Based Evolutionary Algorithm for Cardinality-Constrained Portfolio Optimisation, submitted (Sept 2019).

Graham D & Craven MJ 0 Sifted QP solutions for portfolio optimisation problems dataset. 0 0 PEARL

Key publications are highlighted

Journals
Articles
Walker D & Craven M 2019 'Identifying Good Algorithm Parameters in Evolutionary Multi- and Many-Objective Optimisation: A Visualisation Approach' Applied Soft Computing 105902-105902 , DOI PEARL
Craven MJ & Sharp J 2018 '"The Mathematics Problem": A Plymouth Foundation Year Case Study' Journal of the Foundation Year Network 1, 23-35 Publisher Site PEARL
Craven M 2017 'Adversarial Risk Analysis D. L. Banks, J. Rios and D. Ríos Insua 2015 Boca Raton, CRC Press 214 pp., £57.99 (e-book £55.09) ISBN 978-1-498-71239-2' Journal of the Royal Statistical Society: Series A (Statistics in Society) 180, (2) 682-682 , DOI
Craven MJ & Robertz D 2016 'A parallel evolutionary approach to solving systems of equations in polycyclic groups' Groups Complexity Cryptology , DOI PEARL
Pournouri S & Craven M 2014 'E-business, recent threats and security countermeasures' International Journal of Electronic Security and Digital Forensics 6, (3) 169-169 , DOI
Craven M 2012 'Building on Workplace Simulation within the Context of First Year Undergraduate Civil Engineering' Professional Practice in Higher Education Teaching (1) 19-25
Craven MJ & Jimbo HC 2012 'Evolutionary algorithm solution of the multiple conjugacy search problem in groups, and its applications to cryptography' Groups - Complexity - Cryptology 4, (1) , DOI
Books
James G, Dyke P, Searl J, Craven M & Wei Y 2020 Modern Engineering Mathematics. Pearson Education
James G, Dyke PPG, Burley D, Clements D, Steele N, Searl J, Wright J, Craven MJ, Reis T & Stander J 2018 Advanced Modern Engineering Mathematics. Pearson
Chapters
Craven MJ 2008 'An Evolutionary Algorithm for the Solution of Two-Variable Word Equations in Partially Commutative Groups' Recent Advances in Evolutionary Computation for Combinatorial Optimization Springer Berlin Heidelberg 3-19 , DOI
Conference Papers
Alotaibi T & Craven M 2019 'Efficient Frontiers in Portfolio Optimisation with Minimum Proportion Constraints' GECCO 2019 13/07/2019 17/07/2019 ACM 358-359 , DOI PEARL
Walker D & Craven MJ 2018 'Visualising the Operation of Evolutionary Algorithms Optimising Water Distribution Network Design Problems' 13th International Conference on Hydroinformatics Palermo, Italy 01/07/2018 06/07/2018 , DOI PEARL
Walker D & Craven MJ 2018 'Toward the Online Visualisation of Algorithm Performance for Parameter Selection' EvoApplications 2018 Parma, Italy 04/04/2018 06/04/2018 Springer , DOI PEARL
Dash W & Craven MJ 2017 'Exploring Botnet Evolution via Multidimensional Models and Visualisation' STM 2017 Oslo, Norway 14/09/2017 15/09/2017 , DOI PEARL
Craven MJ & Martin SP 2017 'BBIOS: A Characterization of Evolutionary Algorithm Stability' GECCO 2017 Berlin, Germany 15/07/2017 20/07/2017 ACM , DOI PEARL
Craven MJ & Graham DI 2017 'Exploring the (Efficient) Frontiers of Portfolio Optimization' GECCO 2017 Berlin, Germany 15/07/2017 19/07/2017 ACM , DOI PEARL
Craven MJ & Jimbo HC 2014 'EA stability visualization' the 2014 conference companion 12/07/2014 16/07/2014 ACM Press , DOI
Ball L & Craven M 2013 'Automated Counter-Terrorism' 2013 European Intelligence and Security Informatics Conference (EISIC) 12/08/2013 14/08/2013 IEEE , DOI
Craven MJ & Jimbo HC 2013 'An EA for portfolio selection over multiple investment periods with exponential transaction costs' Proceeding of the fifteenth annual conference companion 06/07/2013 10/07/2013 ACM Press , DOI
Jimbo HC & Craven MJ 2012 'A dynamical model of cancer chemotherapy with disturbance' the fourteenth international conference 07/07/2012 11/07/2012 ACM Press , DOI
Craven MJ & Jimbo HC 2011 'A Kolmogorov-Type Stability Measure for Evolutionary Algorithms' Springer Berlin Heidelberg 26-37 , DOI
Craven MJ 2007 'Genetic algorithms for word problems in partially commutative groups' 48-59

Reports & invited lectures

2019 (with T. Alotaibi and P. Tziogkidis) "Constructing Class-Based Portfolios on Gulf Markets with Metaheuristics", OR-61, Kent, UK.


2019 (with T. Alotaibi) "Efficient Frontiers in Portfolio Optimisation with Minimum Proportion Constraints", GECCO 2019, Prague, Czech Republic.

2019 (with J. Sharp) "Combatting the Deficit Model in Foundation Year Mathematics: Ethical Admissions and Inclusive Curricula", FYNAC19, Univ. Sussex, UK.

2019 "Group-Theoretic Cryptanalysis Using Hyperheuristics", Queen Mary University of London, UK. 
 
2019 "Evolution of Cryptanalytic Attacks via Hyperheuristics", Big Data Group, Plymouth, UK.   

2018 (with J. Sharp) "Exploring the Frontiers of Foundation Years in Mathematics - An Update on a Work in Progress", FYNAC18, Nottingham, UK.

2018 (with D. J. Walker) "Visualising the Operation of Evolutionary Algorithms Optimising Water Distribution Network Design Problems", HIC 2018, Palermo, Italy.

2018 (with D. J. Walker) "Toward the Online Visualisation of Algorithm Performance for Parameter Selection", EVOIndustry, Parma, Italy.

2018 "The Plymouth GPU Research Centre, Big Data Group", Plymouth, UK.

2017 (with W. Dash) "Exploring Botnet Evolution via Multidimensional Models and Visualisation", STM (ESORICS) 2017, Oslo, Norway.

2017 (with D. I. Graham) "Exploring the (Efficient) Frontiers of Portfolio Optimization", GECCO2017, Berlin, Germany.

2017 (with S. P. Martin) "BBIOS: A Characterization of Evolutionary Algorithm Stability", GECCO2017, Berlin, Germany.

2017 (with J. Sharp, M. Lavelle and C. Christopher) "Exploring the Frontiers of Foundation Years in Mathematics - An Enhanced Transition", FYNAC'17, Warwick, UK.

2016 "Group Cryptography", Plymouth, UK.

2016 "Portfolio Optimisation in Financial Mathematics", Plymouth, UK.

2016 (with J. R. Woodward) "The Mappings Project", Stirling, UK.

2016 "How to Break Cryptographic Schemes with Monte-Carlo Methods and High-Performance Computing", Stirling, UK.

2016 "Big Data: Machine Learning, Heuristic Methods and the Future of Cybersecurity in HPC Environments", Invited keynote funded by SICSA, Big Data in Cybersecurity Conference, Napier University, UK.

2016 "Monte-Carlo Attacks on Cryptographic Protocols", Hull, UK.

2015 "Information Security and Evolutionary Techniques", Stirling, UK.

2014 "A Smörgåsbord of Applied Mathematical Treats", Plymouth, UK.

2014 "EA Stability Visualization: Perturbations, Metrics and Performance", GECCO2014, Vancouver, Canada.

2014 "Evolutionary Algorithms in Group Theory with an Application to Public Key Cryptography", Plymouth, UK.

Other academic activities

  • I have taught many Royal Institute Mathematics Masterclasses and outreach events, the most recent in July 2019.
  • I regularly lead sessions at Mathematical Sciences open and applicant days for undergraduate students.
  • I review for the Journal of Operational Research (JORS) and Applied Soft Computing, among others. I was a Programme Committee member for the GECCO-UP Workshop 2013 and GECCO 2019, and a Review Committee member for the VizGEC Workshop in 2015-2019.
  • I review EPSRC grant applications in cryptography.
  • I lead the Big Data Group, and also the Plymouth GPU Research Centre.

Additional information

I am always happy to hear from prospective PhD students in the areas specified in my research section, and in particular, Group-Theoretic Cryptology and Financial Mathematics. For informal enquiries, please contact me directly. To apply officially for a PhD position at Plymouth, please click here.

Links

http://math-sciences.org/
https://www.plymouth.ac.uk/schools/school-of-engineering-computing-and-mathematics/mathematical-sciences