Where the fun never stops!
In serious need of updating - but here are some old references to papers and talks of mine.
Machine Learning
-
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
Finance
-
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
Mathematics
-
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