A second year PhD student in Computer Science at Carnegie Mellon University researching formal verification for systems.
Referenced in coverage
“Natalie Neamtu co-authored research on Verus-SpecGym for evaluating how AI agents translate informal programming intent into formal specifications.”