Project Grant 2124080

The National Science Foundation Division of Computer and Network Systems awarded a $750,000 Project Grant to Columbia University from October 1, 2021 to September 30, 2025. The grant supports research titled "FMITF: TRACK I: VERIFYING SYSTEM SOFTWARE ON AN ARM MULTIPROCESSOR HARDWARE MODEL" under the Computer and Information Science and Engineering program (CFDA #47.070). This program aims to advance computing and information sciences through investigator-initiated research and education. Specifically, Columbia University will conduct research to verify the functionality and security of system software on ARM-based multiprocessor hardware models. This work furthers the development of research cyberinfrastructure to accelerate discovery and innovation in computing fields like computer and network systems.