Matthew Craven
Senior Solutions Engineer at Cority
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMatthew Craven is a Senior Solutions Engineer with over a decade of experience bridging EHS domain expertise and technical delivery across enterprise software pre-sales, professional services, and customer success. He has a strong track record winning and delivering major deals (including a £2.5m Siemens engagement) and improving operational processes—earning a Chief Executive Award for customer-journey transformation. Technically fluent, he contributes to open-source projects like SymPy and Haskell's bytestring, focusing on symbolic math simplification, memory-safe byte-string internals and QA, which reflects a rare combination of mathematical rigour and low-level engineering skill. Based in the UK, he pairs hands-on development and QA experience with effective training, demo and POC design, and a knack for turning complex requirements into practical, auditable solutions. Outside work he’s a board-gaming and computing hobbyist with a strong mathematical bent, an interest that informs his careful, test-driven approach to problem solving.
10 years of coding experience
10 years of employment as a software developer
Humanities BA Social Sciences; comprising of History Economics Law Sociology and Philosophy, Humanities BA Social Sciences; comprising of History Economics Law Sociology and Philosophy at University of HertfordshirePost Graduate Diploma Spatial Information Technology, Post Graduate Diploma Spatial Information Technology at Durham University
Github Skills (18)
algorithms10
computer-algebra10
python10
testing10
memory-management10
data-structure10
bytestring10
data-structures10
functional-programming10
haskell10
trigonometry9
performance-optimization9
code-generation8
unit-testing7
math7
Programming languages (2)
Github contributions (5)
haskell/bytestring
Jan 2022 - Jan 2023
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:196 reviews, 23 commits, 92 PRs in 1 year
Contributions summary:Matthew primarily focused on improving the efficiency, memory safety, and functionality of the `bytestring` library. Their contributions involved refactoring code, optimizing performance, and fixing memory-related issues within the core data structures and functions. They also implemented and refined several functions, and added related tests. These changes involved deep understanding and modification of the internal byte string implementation, including memory management and low-level operations.
byte-string8-bitbytecompactstring
sympy/sympy
Nov 2018 - Dec 2018
A computer algebra system written in pure Python
Role in this project:Back-end Developer / QA Engineer
Back-end Developer / QA EngineerContributions:6 commits, 3 PRs, 5 comments in 27 days
Contributions summary:Matthew contributed to the `sympy/sympy` repository by addressing issues related to symbolic mathematics simplification, particularly focusing on trigonometric and exponential functions. They worked on improving the `exptrigsimp` function, avoiding incorrect simplifications for non-commutative expressions and adding tests to ensure the correctness of the simplification process. Further contributions included optimizing C code generation for `Min` functions and improving the accuracy of the `ordinal` function within the utility library.
mathpythonsciencecomputer-algebra-systemalgebra
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.