diff --git a/_people/naudziuniene.md b/_people/naudziuniene.md index 6ec9143f1d2b77d7ed81e4307bf71d8f92034217..acd8d88133796274ec0676011b2f2ce5eff572ef 100644 --- a/_people/naudziuniene.md +++ b/_people/naudziuniene.md @@ -8,4 +8,5 @@ alumnus: true --- 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. \ No newline at end of file +From 2017 Daviva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn. +