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

Update naudziuniene.md

parent 3b836522
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
_people/naudziuniene.md
+ 2
− 1
View file @ a5227252
...@@ -8,4 +8,5 @@ alumnus: true ...@@ -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. 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. 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.
Finish editing this message first!
Please register or to comment