naudziuniene.md

---
firstname: Daiva
lastname: Naudžiūnienė
search_lastname: Naudziuniene
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.   

From 2017 Daviva has been working as a Research Scientist at Facebook as part of the engineering team led by Peter O’Hearn.