Commit 900577aa authored by pmaksimo's avatar pmaksimo

Daviva

parent fe7e2b9d
Pipeline #142116 passed with stages
in 4 minutes and 14 seconds
......@@ -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
Markdown is supported
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