Skip to content
Snippets Groups Projects
Commit 523e38be authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update naudziuniene.md

parent ab093a99
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 2 additions and 3 deletions
_people/naudziuniene.md
+ 2
− 3
View file @ 523e38be
......@@ -6,7 +6,6 @@ position: PhD Student
webpage: http://www.doc.ic.ac.uk/~dn911/
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.
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment