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.
|Collaborating on the development of tight security specifications for smart contracts, Recipient of a Research gift.
|PhD student interning (2021-2022) as Applied Scientist with Amazon Alexa Research team (Cambridge, UK), working on deep learning techniques for voice generation.
Partner on EPSRC Early Career Fellowship, 2016-2019.
Brave Software Ltd
|20% Visiting Professor, working on privacy-preserving analytics.
|Impact Acceleration Award with BT to provide an IoT firewall on the home gateway.
|Collaborating with CISCO on device-based security for IoT systems.
DSO National Laboratories, Singapore
|Awarded funding to work on techniques for deeper testing of software via dynamic symbolic execution.
|Collaboration on their semantic code analysis engine for source code navigation in open-source repositories.
Joint supervision with Pr Murray Shanahan of a PhD student supported by a scholarship from DeepMind and Imperial College London.
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.
Visiting Research Scientist at Facebook (Seattle, USA) working on systems performance, reliability, and security issues.
Collaborating with the Go Lang Team to design Go with generics.
Early Career Faculty Award (gift), 2013. Intel research grant on Automatic Synthesis of High-Assurance Device Drivers, 2013-2016.
|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.
|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.
Constantinides actively works with Intel on datapath optimization. Intel fully funds one of his PhD students.
|Joint project on confidential computing with Intel.
Visiting Research Scientist at Meta (Seattle, USA) working on systems performance, reliability, and security issues.
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.
|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.
|20% at Meta working on incorrectness separation logic and the bug-funding tool Pulse.
Microsoft Research, Cambridge
|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)
Samsung AI, Cambridge
|Collaboration as part of EPSRC Open Plus Fellowship 2022-2027
|Constantinides works with Xilinx on architectures for highly efficient machine learning. His PhD students are regular Xilinx interns.