https://nneamtu.github.io/industry/2018-SWEI-BoA/ https://nneamtu.github.io/industry/2019-SWEI-MSFT/ https://nneamtu.github.io/industry/2020-SWEI-MSFT/ https://nneamtu.github.io/industry/2021-SWE-MSFT/ https://nneamtu.github.io/publications/2023-PaPoC-Trees-and-Turtles/ https://nneamtu.github.io/publications/2026-NeurIPS-VeruSAGE/ https://nneamtu.github.io/publications/2026-VerusSpecGym/ https://nneamtu.github.io/talks/2026-JaneStreetSymposium/ https://nneamtu.github.io/talks/2026-RustVerify/ https://nneamtu.github.io/teaching/CS3110/ https://nneamtu.github.io/teaching/CS4160/ https://nneamtu.github.io/teaching/CS5432/ https://nneamtu.github.io/ https://nneamtu.github.io/markdown/ https://nneamtu.github.io/files/2026-jane-street-symposium.pdf 2026-10-18T08:22:24-07:00 https://nneamtu.github.io/files/Resume%20-%20Natalie%20Neamtu.pdf 2026-10-18T08:22:24-07:00 https://nneamtu.github.io/files/Weak%20Memory%20Verus%20Creusot%20-%20Rust%20Verification%20Workshop%202026.pdf 2026-10-18T08:22:24-07:00