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.


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.


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.


The EMET Excellence program


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