Researcher at Theorem
Nickolai Zeldovich is a researcher at Theorem
Referenced in coverage
“Nickolai Zeldovich contributed to the xv6iris verification framework extended for sandbox file integrity proofs.”
“Co-author from Theorem on Claude formal verification research.”