The project will carry out case studies in the refinement of highly non-deterministic graph programs. The goal for this project is to find, via case studies, concrete refinement patterns that can turn polynomial-time programs into linear-time rooted programs.

I am currently doing my industry placement year at Cambridge Consultants as a Computer Science intern in the ICE Software group. I am working on diverse range of software projects, primarily in Java, Scala, and Python.

I am a full time student studying for a BSc in Computer Science and Mathematics (with a year in industry). I was awarded one of three department scholarships. My primary area of interest is Theoretical Computer Science.

I continue to work for Bugsnag as a part time contractor, maintaining their PHP notifiers. In 2017, I wrote a series of blog posts for them, upgrading their notifiers to Laravel 5.6, and most recently represented the company at a major conference.

Working with the City of York Council, I tought Python to secondary school students, creating an exciting 6-week course for students covering topics including variables and types, control flow, functions, iteration vs recursion, and compound data types.

Placed in their Bath office for 12 weeks, I initially modernized their open source PHP notifier. I later went on to rewrite both their existing Laravel and Silex notifers, and introduced a new Symfony notifier, as well as contributing to various other areas.

In December 2014 I created StyleCI, a code style CI service. In July 2015, StyleCI launched as a paid SaaS, owned and managed by Alt Three. Now working as an external contractor, I regularly work with Python, PHP, Laravel, JS, Posgresql, Redis, AWS and Docker.

Laravel is one of the most popular web frameworks today. I am proud to have been contributing to Laravel for years, and am the highest contributor after the creator, Taylor Otwell. My contributions include adding features, fixing bugs, and PR reviews.