I am a faculty member at Bar-Ilan University since 2015. Before joining the faculty of Engineering at Bar-Ilan I was a researcher at Microsoft Research in Cambridge. Previously I was a member of Jane Hubbard's lab at the Biology Department and a member of the the Analysis of Computer Systems Group , Department of Computer Science, Courant Institute New York University. I did my Ph.D at the Weizmann Institute under the supervision of David Harel and Amir Pnueli.
M.Sc. Students: I have open positions for students interested to persue an M.Sc. degree in several research areas: Formal Verification of Software and Hardware Systems, Reasoning about Deep Learning, Design of novel Biological Computing Devices, Computational methods to study Stem Cells and Developmental Biology. Contact me at hillelk at biu.ac.il to hear more details and discuss.
For PhD. Students and Postdocs: I am currently looking for talented and highly motivated students and postdocs for several new projects, if you are interested please email me with a CV and contacts for recommendation letters to hillelk at biu.ac.il
Available positions : Designing new biological computing devices
Bio4Comp Project - Parallel Network-Based Biological Computation