From a5227252fd7af99b6f16fcd8131fc07ba0a87e13 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 Jan 2018 12:14:19 +0000 Subject: [PATCH] Update naudziuniene.md --- _people/naudziuniene.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/_people/naudziuniene.md b/_people/naudziuniene.md index 6ec9143..acd8d88 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. + -- GitLab