About
Professional Experience
My path started in data science, first through a research collaboration between the Technion and Bank Hapoalim, and later at Waycare, then into software engineering roles building ML applications end-to-end at Intel, New Relic, and Genesys. Along the way, I also tried to found a startup, keepn.ai, in ML safety. These days, I'm a software engineer at SafeBreach, working in cybersecurity.
Academic Background
I hold a B.Sc. in Industrial Engineering & Management (Information Systems major) and an M.Sc. in Information Management Engineering from the Technion. My research focused on formal verification methods and machine learning safety, specifically the intersection of the two.
Publications
Cohen, Dor, and Ofer Strichman. "Automated Repair of Neural Networks." arXiv preprint arXiv:2207.08157 (2022).
Cohen, Dor, and Ofer Strichman. "The impact of Entropy and Solution Density on selected SAT heuristics." Entropy 20.9 (2018): 713.