Daiva defended her Ph.D. on An Infrastructure for Tractable Verification of JavaScript Programs in March 2018.

From 2017 Daviva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn.