In this section

Industry

The SaSSy academics have substantial connections with industry. Sophia Drossopoulou currently has a 80% position at Meta with 20% at Imperial, having previously been a full-time academic at Imperial. Donaldson, Haddadi and Raad currently have 20% positions at Google, Brave and Meta respectively. Below we describe our industrial research activity from 2020.

Agoric

Summary of the table's contents
	Sophia Drossopoulou	Collaborating on the development of tight security specifications for smart contracts, Recipient of a Research gift.

Amazon

Summary of the table's contents
	Soteris Demetriou	PhD student interning (2021-2022) as Applied Scientist with Amazon Alexa Research team (Cambridge, UK), working on deep learning techniques for voice generation.
	Philippa Gardner	Two faculty gifts, on JavaScript analysis in 2019 and on Rust analysis in 2021 with Amazon Web Services (AWS); two PhD students interned at AWS in 2020 and 2021, one of them exploring Gardner's JavaScript analysis tool inside Amazon.

Arm Ltd

Summary of the table's contents
	Alastair Donaldson	Partner on EPSRC Early Career Fellowship, 2016-2019.

Brave Software Ltd

Summary of the table's conte
	Hamed Haddidi	20% Visiting Professor, working on privacy-preserving analytics.

BT Research

Summary of the table's contents
	Hamed Haddadi	Impact Acceleration Award with BT to provide an IoT firewall on the home gateway.

CISCO

Summary of the table's contents
	Hamed Haddadi	Collaborating with CISCO on device-based security for IoT systems.

DSO National Laboratories, Singapore

Summary of the table's contents
	Cristian Cadar	Awarded funding to work on techniques for deeper testing of software via dynamic symbolic execution.

GitHub

Summary of the table's contents
	Nicolas Wu	Collaboration on their semantic code analysis engine for source code navigation in open-source repositories.

Google

Summary of the table's contents
	Francesco Belardinelli	Joint supervision with Pr Murray Shanahan of a PhD student supported by a scholarship from DeepMind and Imperial College London.
	Alastair Donaldson	Faculty Research Award (gift), 2018, Chrome University Research Program research grant, 2018. Sold start-up company, GraphicsFuzz, to Google in 2018 and joined Android Graphics Team, 2018-2021. Visiting Researcher with Google, 2021-2022.
	Soteris Demetriou	Visiting Research Scientist at Facebook (Seattle, USA) working on systems performance, reliability, and security issues.
	Nobuko Yoshida	Collaborating with the Go Lang Team to design Go with generics.

Imagination Technologies

Summary of the table's content
	George Constantinides	Long-term collaboration including Royal Academy of Engineering/Imagination Technologies Research Chair, 2015–2020
	Alastair Donaldson	Partner on EPSRC Early Career Fellowship, 2016-2019

Intel

Summary of the table's content
	Alastair Donaldson	Early Career Faculty Award (gift), 2013. Intel research grant on Automatic Synthesis of High-Assurance Device Drivers, 2013-2016.
	Azalea Raad	Raad and Wickerson (and others) collaborated with a senior architect at Intel to devise a formal model of how memory persistency works in the Intel-x86 architecture, which was published in POPL 2020.
	John Wickerson	Wickerson and Donaldson (and others) collaborated with a senior engineer at Intel to devise a formal model of how shared memory works in Intel CPU/FPGA systems.
	George Constantinides	Constantinides actively works with Intel on datapath optimization. Intel fully funds one of his PhD students.
	Peter Pietzuch	Joint project on confidential computing with Intel.

Meta

Summary of the table's contents
	Soteris Demetriou	Visiting Research Scientist at Meta (Seattle, USA) working on systems performance, reliability, and security issues.
	Sophia Drossopoulou	Managing the WES team by Mark Harman, which is developing simulation-based testing for Integrity, Reliability and Privacy. She is also the recipient of a Research Gift.
	Philippa Gardner	Faculty gift on true bug finding and partial verification in 2020 ($500K); two former researchers now at Infer; PhD students often intern including one in 2021 moving to Meta Infer team in 2022.
	Azalea Raad	20% at Meta working on incorrectness separation logic and the bug-funding tool Pulse.

Microsoft Research, Cambridge

Summary of the table's contents
	Peter Pietzuch	Visiting Researcher. Principal investigator with Sophia Drossopoulou on UKRI grant “CloudCAP: Capability-based Isolation for Cloud Native Applications” in collaboration with Microsoft Research.

National Crime Agency (NCA)

Summary of the table's content
	Dalal Alrajeh	Collaboration with several units within the National Crime Agency (NCA) on specification and design of safe, decision-support systems for suspect prioritisation.

Red Hat

Summary of the table's contents
	Nobuko Yoshida	Working with Red Hat and and Google on Open Telemetry, a distributed tracing tool supporting cloud-native software.

Samsung AI, Cambridge

Summary of the table's content
	Hamed Haddadi	Collaboration as part of EPSRC Open Plus Fellowship 2022-2027

Xilinx

Summary of the table's contents
	George Constantinides	Constantinides works with Xilinx on architectures for highly efficient machine learning. His PhD students are regular Xilinx interns.

Industry

More information