BSc in Computer Science, PhD in Computer Science at the Technion, direct track, 2017.
Postdoctoral fellowship in the Software Reliability Lab, hosted by Prof. Martin Vechev, at the ETH, 2019.
Participated in the Excellence Program: 2009-2011.
During her last summer she also began a research in parallel data-structures under the supervision of Prof. Erez Petrank, which dealt with finding wait-free algorithms for several data structures.
Recommendations for Program participants: "Always keep an open mind – try to learn about as many subjects as you can in the field you are interested in. You might surprise yourself and find out about some interesting subject you haven't thought of."
"Dana's research focuses on bringing reliability and safety guarantees to application domains, such as deep learning models, computer networks and blockchain frameworks. Dana's research leverages formal methods (e.g., analysis, synthesis) to increase the reliability of these domains and expedite their adoption in real-world applications."