Colin Adams
Director Of Platform Operations
Wells, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolColin Adams is a seasoned platform leader with 13 years of experience scaling global engineering, QA and DevOps organisations across EMEA and the Americas, now serving as Director of Platform Operations at MICHELIN Connected Fleet. He combines hands-on software engineering roots—with early work at Thales and open-source contributions to the Idris dependently-typed language around C interop and memory management—with strategic delivery of large, regulated telematics and fleet platforms. Colin has a track record of implementing Agile at scale, embedding formal QA processes and achieving ISO-quality outcomes while growing and recruiting cross-functional teams. Known for bridging low-level technical detail and executive operational excellence, he excels at turning complex integration challenges (including CANBus and driver-behaviour systems) into reliable production services. Based in Wells, UK, he pairs an M.Eng in Software Engineering from Manchester with practical, long-term stewardship of platform roadmaps and operational resilience.
13 years of coding experience
19 years of employment as a software developer
M. ENG, Software Engineering, M. ENG, Software Engineering at The University of Manchester
Github Skills (10)
c1710
c1110
idris10
cffi10
functional-programming9
parser8
parse8
parsing8
documentation7
testing6
Programming languages (6)
Github contributions (5)
idris-lang/Idris-dev
Apr 2016 - May 2016
A Dependently Typed Functional Programming Language
Role in this project:
Backend Developer
Backend DeveloperContributions:7 commits, 12 PRs, 61 comments in 27 days
Contributions summary:Colin primarily contributed to the Idris language's core functionality, focusing on interactions with C, file handling, and memory management. Their work included adding features like `to_C` for file pointers, exporting file handles for C interoperability, and integrating `calloc` into the CFFI memory module. Additionally, they made changes to the parser and documentation regarding default totality and the FFI reference. They also added a test case.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
colin-adams/chu-shogi-tools
Feb 2014 - Dec 2017
Contributions:12 commits, 3 pushes in 3 years 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.