The SaSSy academics have substantial connections with industry. Sophia Drossopoulou currently has a 80% position at Facebook 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 Facebook respectively. Below we describe our industrial research activity from 2020.

More information

Agoric

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

Amazon

Soteris Demetriou  
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

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.
Summary of the table's contents

Arm Ltd

 Alastair Donaldson Alastair Donaldson  

Partner on EPSRC Early Career Fellowship, 2016-2019.

Summary of the table's contents

Brave Software Ltd

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

BT Research

 

Hamed Haddadi

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

CISCO

Hamed Haddadi

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

DSO National Laboratories, Singapore

 Cristian Cadar  

Cristian Cadar

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

Facebook

Soteris Demetriou

Soteris Demetriou

Visiting Research Scientist at Facebook (Seattle, USA) working on systems performance, reliability, and security issues. 

Sophia Drossopoulou

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

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 Facebook Infer team in 2022.

Azalea Raad

Azalea Raad 20% at Facebook working on incorrectness separation logic and the bug-funding tool Pulse.  
Summary of the table's contents

GitHub

Nicolas Wu

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

Google

 Francesco Belardinelli Francesco Belardinelli 

Joint supervision with Pr Murray Shanahan of a PhD student supported by a scholarship from DeepMind and Imperial College London.

 Alastair Donaldson 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

Soteris Demetriou  

Visiting Research Scientist at Facebook (Seattle, USA) working on systems performance, reliability, and security issues. 

 Nobuko Yoshida Nobuko Yoshida  

Collaborating with the Go Lang Team to design Go with generics

Summary of the table's contents

Imagination Technologies

George Constantinides George Constantinides Long-term collaboration including  Royal Academy of Engineering/Imagination Technologies Research Chair, 2015–2020
 Alastair Donaldson Alastair Donaldson  

Partner on EPSRC Early Career Fellowship, 2016-2019

Summary of the table's content

Intel

 Alastair Donaldson Alastair Donaldson  

Early Career Faculty Award (gift), 2013. Intel research grant on Automatic Synthesis of High-Assurance Device Drivers, 2013-2016.

 Azalea Raad 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

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
George Constantinides
 

Constantinides actively works with Intel on datapath optimization. Intel fully funds one of his PhD students.

Peter Pietzuch
Peter Pietzuch
 Joint project on confidential computing with Intel.

Summary of the table's content

Microsoft Research, Cambridge

Peter Pietzuch 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.
Summary of the table's contents

National Crime Agency (NCA)

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

Red Hat

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

Samsung AI, Cambridge

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

Xilinx

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