PhD Software Formal Methods & Verification
ac.uk
publicissapient.com
import.io
accenture.com
qa.com
instinet.com
actito.com
riskcare.com
Lead Java Developer
Cognition Box Ltd.
• www.linkedin.com/company/cognitionbox
May 2024 - Present
London Area, United Kingdom
Postgraduate Researcher, PhD Computer Science
University of Southampton
• www.linkedin.com/company/university-of-southampton
May 2020 - Present
Southampton, United Kingdom
Senior Technology Consultant
Publicis Sapient
• www.linkedin.com/company/publicissapient
Nov 2018 - Mar 2019
London, United Kingdom
Senior Java Developer
SmartFocus
• www.linkedin.com/company/actito-uk
Sep 2017 - May 2018
Barcelona Area, Spain
Senior Learning Consultant
QA Ltd
• www.linkedin.com/company/qa-ltd
Jul 2016 - Jun 2017
London
Lead Algo Trading Java Developer
Cognition Box Ltd.
• www.linkedin.com/company/cognitionbox
Feb 2016 - Jul 2016
London
Lead Java / C# Developer
IKA EPOS LTD
• www.linkedin.com/company/ika-epos-ltd
Apr 2015 - Feb 2016
London
Data Analyst
Christie's International Auctioneers
Aug 2009 - May 2010
King Street, St. James's London
Linux Scripting Developer
Ascent Media
Dec 2008 - May 2009
