Summary
Paul Johnson is a Senior Software Engineer with 19 years of experience specialising in Haskell, software assurance, and enterprise architecture. He has led architecture and delivery for safety-critical tooling—most notably designing and implementing the 35k-line Diametric Safety Case Manager using advanced Haskell techniques such as lenses, free monads, FRP UIs and compositional data types. Paul has practical experience aligning development to aviation assurance standards (ED-109/153) from his time at NATS and has driven product architecture and coding practice improvements in SaaS teams using Haskell and TypeScript/Vue. Comfortable translating complex technical topics for different audiences, he combines hands-on engineering with a strategic view of technology and process improvement. Based in Fareham, UK, he brings a track record of shipping auditable, safety-focused systems and mentoring teams in advanced functional programming approaches.
19 years of coding experience
36 years of employment as a software developer
BSc Computers, BSc Computers at Cardiff University / Prifysgol Caerdydd
International Technology Management, International Technology Management at University of Warwick - Warwick Business School