Daiva Naudziuniene

About me

I am a PhD student at Imperial College London. I am interested in formal software verification and it's applications to practice. For my PhD I have been working on reasoning about JavaScript supervised by Philippa Gardner.

Contacts


Department of Computing
180 Queen's Gate
Imperial College London
South Kensington Campus
London
SW7 2AZ

Publications