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.
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.
From 2017 Daviva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn.