Jonathan Sterling
Data Analyst
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJonathan Sterling is a seasoned data analyst with 15 years of experience combining rigorous academic foundations in engineering, economics, and operational research with practical analytics roles in higher education and freelance projects. Based in London, he has a track record at King's College London as an Equalities Data Analyst and now undertakes ad hoc data analysis engagements for diverse clients. Beyond analytics, Jonathan is an active open-source contributor with deep technical work spanning front-end type-safe UI improvements (PureScript Halogen) and back-end compiler and formal-methods contributions (CakeML, Cubical Agda, ReactiveCocoa). He brings uncommon cross-disciplinary fluency: formal methods and category-theory work that underpins provable correctness, applied to pragmatic data and software problems. Comfortable moving between high-assurance code and data-driven decision making, he delivers tooling and analyses that emphasize correctness, maintainability, and real-world impact.
15 years of coding experience
8 years of employment as a software developer
MEng, Engineering and Economics, MEng, Engineering and Economics at Oxford University, Brasenose CollegeMSc, Operational Research, MSc, Operational Research at Lancaster University, School of Management
Stackoverflow
18,349reputation
1.8mreached
153answers
38questions
uiimage
top-5%
delegates
top-1%
coding-style
top-1%
cocoa-touch
top-5%
uiscrollview
top-5%
objective-c
top-1%
Github Skills (48)
objective-c10
agda10
reactiveswift10
purescript10
sml10
webpages10
ui-design10
cubical-type-theory10
web-content10
standard-library10
reactivecocoa10
uid10
compiler-compiler10
delegates10
front-end-development10
Programming languages (29)
Github contributions (5)
purescript-halogen/purescript-halogen
Sep 2015 - Mar 2016
A declarative, type-safe UI library for PureScript.
Role in this project:
Front-end Developer
Front-end DeveloperContributions:17 commits, 18 PRs, 5 pushes in 6 months
Contributions summary:Jonathan primarily contributed to the development of UI components and event handling within the PureScript Halogen framework. Their work involved adding indexed versions of HTML elements, properties, and events to improve type safety. They also addressed refinements and missing attributes, such as adding the 'value' property to the select element and correcting the 'alt' attribute for images. Further contributions included adding support for keyboard shortcuts and selectedIndex changes for improved interactivity.
declarativeui-librarytype-safetypescriptsafe
ReactiveCocoa/ReactiveCocoa
May 2012 - Sep 2013
Cocoa framework and Obj-C dynamism bindings for ReactiveSwift.
Role in this project:Back-end Developer
Back-end DeveloperContributions:21 commits in 1 year 4 months
Contributions summary:Jonathan focused on enhancing and refactoring the ReactiveCocoa framework. They added support for modern object subscripting to RACTuple and enhanced the method lookup functionality within RACObjCRuntime. Furthermore, the user implemented an added new features for RAC lifting, including new functionalities with NSInvocation and the RACLiftProxy, including tests and documentation. These changes indicate an active role in improving the core functionality and usability of the reactive programming framework.
objective-cobj-creactivecocoareactiveswiftswift
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.