Bonjour! I am Erik and this is my home on the interwebs.

By day I am co-founder of a company called Infer - a SaaS comapny building a new type of data analytics platform.

I am also co-organiser of MancML - a quarterly-ish machine learning conference in Manchester, with offsprings in Leeds and Edinburgh.

Previously, I led and built data science and analytics teams at a few different companies - mainly scaleups.
I also founded two companies around machine learning and analytics. One in recruitment and one in risk management.

Prior to that I was a quant at a number of investment banks and an academic working on mathematical logic and the foundations of computation. As part of that I did my PhD at QMUL in computer science.

Besides my kids, building and starting new things and mathematics, I enjoy sci-fi, cycling, martial arts and playing music - maybe one day I will share something here about some of that.

 


 


  • Embedding Knowledge Graphs as Languages with BERT, EurNLP 2019
  • Knowledge Graphs, MancML@Peak, March 2019
  • Modelling human behaviour: Data Science at Streetbees, Toyota Connected Tech Nights, February 2019
  • How are you feeling? Analysing human emotions using machine learning, MancML@AutoTrader, September 2018
  • Bants with GANs, MancML@Peak, May 2018
  • AI Startup Lessons Learned, Royal Statistical Society, May 2018
  • Introduction to Deep Learning and Natural Language Processing, Manchester Data Science Summit, Mar 2018
  • An AI Careers Advisor: Using Machine Learning to Predict Your Career Path, Paris #7, Mar 2018
  • Exploring and improving document-to-vector embeddings, CMStatistics, Dec 2017
  • An AI careers advisor, MancML@Rentalcars, Nov 2017
  • Introduction to machine learning and NLP with Ruby, Athens Ruby Meetup, Jun 2017
  • Deep Learning and Natural Language Processing, MancML@AutoTrader, May 2017
  • Using latent Dirichlet allocation on a large commercial scale, CMStatistics, Dec 2016
  • Introduction to Machine Learning & Recruiting with Machine Learning, MancML@SpaceportX, Nov 2016



  • LCL - a library for modelling continuous systems, EuroScipy, 2013
  • Modelling dynamical systems with a DSL, CFE-ERCIM, 2012
  • A proof system for pricing securities, CFE-ERCIM, 2010


  • A general framework for sound and complete Floyd-Hoare logics, ACM Transactions of Computational Logic, 2008
  • Abstract Hoare Logic, PhD Thesis QMUL, 2007
  • Reasoning about linear systems, SEFM proceedings, 2007
  • Abstract Hoare Logic and dynamical systems, BCTCS, 2006
  • Hoare logic in the abstract, CSL proceedings, 2006
  •