Building on Shaky Ground
Year: 2024
Type: article
Source: Queue
DOI: 10.1145/3703127
Author: George V. Neville-Neil
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funders: U.S. Department of Defense, Microsoft Research, Arm, DeepMind, Cambridge Trust, Isaac Newton Trust, Gates Cambridge Trust, Defense Advanced Research Projects Agency, Advanced Research Projects Agency, Medical Research Council, Engineering and Physical Sciences Research Council, Air Force Research Laboratory, H2020 European Research Council
Awards: G1845087951, G2161612783, G2335238807, Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems, G3305054191, G345926150, G4055178474, G4220276899, G4713059963, REMS: Rigorous Engineering for Mainstream Systems, G5985048028, G7861425559
OpenAlex ID: W4404911018