Scholar
Dana Drachsler-Cohen
Google Scholar ID: XOiO5xgAAAAJ
Technion
Citations & Impact
Citations
3,331
H-index
13
i10-index
14
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Publications available, see Publications for more information.
Research Experience
- Leading the SAFE lab, focusing on providing security guarantees for deep learning models, using formal methods to analyze different properties, developing practical systems, and increasing the transparency of deep models.
Background
- Assistant Professor at the Faculty of Electrical and Computer Engineering, leading the SAFE lab (Secure Artificial Intelligence via Formal Methods and Engineering). Research focuses on bringing security guarantees to deep learning models. The lab leverages formal methods to mathematically prove the safety of deep learning models and develops practical systems that scale beyond existing methods, increasing transparency of deep models.
Miscellany
- Looking for excellent students interested in these topics (PhD/MSc/BSc).
Co-authors