diff --git a/_people/naudziuniene.md b/_people/naudziuniene.md index b38e51e26b1e9feec28482266fec49b17e76f79c..91635b656ca8b8194d7870b68cbb2d2237b8baf0 100644 --- a/_people/naudziuniene.md +++ b/_people/naudziuniene.md @@ -3,9 +3,9 @@ firstname: Daiva lastname: Naudžiūnienė search_lastname: Naudziuniene position: PhD Student -webpage: http://www.doc.ic.ac.uk/~dn911/ alumnus: true --- -defended her Ph.D. on [An Infrastructure for Tractable Verification of JavaScript Programs]({{site.baseurl}}{% link publications/Naudziuniene2018Infrastructure.html %}) 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 +Daiva defended her Ph.D. on [An Infrastructure for Tractable Verification of JavaScript Programs]({{site.baseurl}}{% link publications/Naudziuniene2018Infrastructure.html %}) in March 2018. + +Since 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