Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
335 commits behind the upstream repository.
naudziuniene.md 474 B 
firstname: Daiva
lastname: Naudžiūnienė
search_lastname: Naudziuniene
position: PhD Student   
webpage: http://www.doc.ic.ac.uk/~dn911/
alumnus: true

defended her Ph.D. on An Infrastructure for Tractable Verification of JavaScript Programs 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.