First degree in Computer Science at the Technion.
PhD in Computer Science at the Technion, direct-track to PhD, 2017.
Post-doc in the Software Reliability Lab, hosted by Prof. Martin Vechev, at the ETH, 2019.
Participated in the Excellence Program: 2009-2011.
As a student in the Program, Dana was able to register to courses even though they had been full or without meeting the prerequisites.
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.”
Today (2021): Dana is an assistant professor at the Faculty of Electrical Engineering, at the Technion.
“My research focuses on bringing reliability and safety guarantees to application domains, such as deep learning models, computer networks and blockchain frameworks. My research leverages formal methods (e.g., analysis, synthesis) to increase the reliability of these domains and expedite their adoption in real-world applications.”
