I am a PhD student working on the CMS Experiment at CERN, supervised by Dr Giovanni Franzoni (CERN) and Dr Giles Reger (Manchester). At Manchester, I am in the Formal Methods group of the School of Computer Science.
You can find up-to-date information on my CERN website.