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