Richard Graham (University Of Nottingham) - Tractable Equations of State for CO2 Mixtures in CCS: Algorithms for Automated Generation and Optimisation, Tailored to End-User - UKCCSRC