About me
I am a PhD student in the Secure, Reliable, and Intelligent Systems Lab at the Computer Science Department, ETH Zurich since April 2018. I am supervised by Prof. Martin Vechev.
Education
ETH Zurich, 2015–2017 MSc in Computational Biology and Bioinformatics, Department of Biosystems Science and Engineering. Thesis: Quantitative Test of Ligand-ReceptorBased Turing Mechanism in Mouse LungBranching Morphogenesis. Supervised by Prof. Dagmar Iber.
Technion - Israel Institute of Technology, 2010–2014 BSc in Computer and Software Engineering (cum laude), Faculty of Electrical Engineering Research projects:
- Automatic Characterization of Electric Activity of Heart Cells, During Heart Tissue Development. Supervised by Prof. Omri Barak.
- Universal User Interface Systems. Supervised by Prof. Daniel Freedman.
- Optimal Storage of Network Packets, Among Several Memory Banks, in High-Speed Routers and Switches. Supervised by Dr. Aran Bergman, Prof. Isaac Keslassy, Prof. Yuval Cassuto, Prof. Ori Rottenstreich.
Internships
CoBi Group, D-BSSE, ETHZ, Switzerland, 2017-2018 Modelling of mouse lung branching morphogenesis with the Turing mechanism for pattern formation.
Microsoft Redmond, Washington, United States, 2017 Design and implementation of a troubleshooting mobile application on behalf of the Intune team.
Helmholtz Centre Munich, Neuherberg, Germany, 2016 Investigation of transcription factors and their binding sites from chromatin accessibility experiments (ATAC-seq).
IBM, Haifa Research Laboratory, Israel, 2012-2014 Part of a hardware-timing debugger development team.
FKIE Fraunhofer, Wachtberg, Germany, 2013 A broadcast extension to a TDMA-based protocol, designed for future tactical networks.
Awards
Publications
Ben-Ari M., Naor S., Zeevi-Levin N., Schick R., Ben-Jehuda R., Reiter I., Raveh A., Grijnevitch I., Barak O., Rosen M.R., Weissman A., Binah O., “Developmental changes in electrophysiological characteristics of human-induced pluripotent stem cell–derived cardiomyocytes”, Heart Rhythm, 2016
Adler O., Arbel E., Averbouch I., Beer I., Grijnevitch I., “Facilitating Timing Debug by Logic Path Correspondence”, DATE 2014