I’m a Senior Engineering Manager at the Science Technology and Facilities Council in the UK.
I run a team of 7 software engineers who build and maintain a range of web applications, mainly written in Typescript using Node.js, React, Vite and Express. I also oversee a DevOps and Platform Engineering team, which looks after the infrastructure that supports various web applications, using technologies such as Kubernetes, ArgoCD, Grafana’s LGTM stack, Keycloak and more.
I got my PhD in Computer Science at CERN (awarded by the University of Manchester), developing ways to rigorously analyse the behaviour of web services used by the CMS Experiment. Read my thesis here.
After leaving CERN, I spent 3 years as a Research Associate at SnT in Luxembourg, where I led a team in developing ways to rigorously analyse companies’ software. We deployed tools to companies in the Avionics and Acoustics sectors.
I’ve published various peer-reviewed papers which are listed on my Google Scholar page.
Most of my work in research focused on using temporal logics (ones I had designed) as specification languages that software engineers could use easily.
I did a lot of work on instrumenting source code based on specifications, and then monitoring executions of that source code to check for satisfaction of specifications.
I also did a lot of work on analysing the results of program execution monitoring, including explaining why an execution did or did not satisfy a specification.
At STFC I work with a range of technologies and languages, including Typescript, React, Vite and Express. I also work with OpenStack, Kubernetes, ArgoCD, and Grafana’s LGTM stack.
At CERN and SnT, I worked mainly with Python, used Flask and Vue.js for building web applications, and used a variety of database technologies such as SQLite, Oracle and Postgres, along with the SQLAlchemy ORM.