John Cartmell
Software Engineer at Cyprotex plc
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolJohn Cartmell is a data-driven software engineer and metamathematician with over three decades of deep experience in CASE tools, laboratory automation, and scientific instrumentation. He has led engineering teams and product development—most recently as Head of Information Systems at Cyprotex—delivering automated workflows, rule-based analytical processing, and predictive pharmacokinetics software tied to lab robotics and mass spectrometry. Earlier roles as Technical Director and Chief Designer reflect a long history building meta-CASE platforms and web-enabling legacy systems, plus inventing Toolbuilder-style environments. He holds a D.Phil in Mathematical Logic from the University of Oxford and applies formal, mathematical thinking to practical software and data-modeling problems. An active maintainer of entity/data modeling tools and an online book author, he bridges research, open-source practice, and commercial productisation. Notably, his work combines abstract metamathematical models with hands-on automation in high-throughput scientific contexts.
8 years of coding experience
4 years of employment as a software developer
D.Phil, Mathematical Logic, D.Phil, Mathematical Logic at University of OxfordB.Sc., M.Sc., Mathematics, B.Sc., M.Sc., Mathematics at University of Bristol
Github Skills (13)
entity-relationship5
relationship5
entity4
diagram3
database-schema3
relational3
database2
entity-relationship-diagram2
typescript1
javascript1
nodejs1
universe1
react1
Programming languages (2)
Github contributions (5)
JohnWCartmell/ERScript
Aug 2017 - Feb 2023
Contributions:3 releases, 245 commits, 359 pushes in 5 years 6 months
JohnWCartmell/Algebra
Sep 2017 - Jul 2018
Contributions:105 commits, 54 pushes, 1 branch in 10 months
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.