Daiva submitted her Ph.D. on An Infrastructure for Tractable Verification of JavaScript Programs in September 2017; the viva will take place 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.