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.

משרות מחקר לסטודנטים מצטיינים

מתענינים בחישוב ביולוגי, כלים מתקדמים לניתוח תוכנה, אימות של מערכות מורכבות או פתרון חידות מתמטיות? צרו קשר לבדוק אפשרות להשתלב במחקר לתארים מתקדמים או בפרויקט בתואר ראשון

hillelk@biu.ac.il

Avaialable Positions

Research Topics:

• Formal verification of Learning Systems
• Theory and Implementation of novel computational devices
• New algorithms and tools for Synthesis of Gene Networks
• Modeling Stem Cell and Developmental Systems
• New Languages and tools for Software specification and rapid prototyping
• Automatic Tools for Solving Mathematical Riddles and Cyber Challenges

For M.Sc. and PhD. Students, Postdocs or Developer Positions: I am currently looking for talented and highly motivated students and postdocs for several new projects in the areas of Formal Verification of Software and Hardware Systems, Reasoning about Deep Learning, Autonomous Vehicle Protocols, Design of novel Biological Computing Devices, Computational methods to study Stem Cells and Developmental Biology. Excellent conditions for suitable candidates. For more info and to apply contact me at  hillelk at biu.ac.i

Bio4Comp Project - Parallel Network-Based Biological Computation

Algorithms for Identifying and Understanding Network Motifs

אלגוריתמים לזיהוי והבנה של מוטיבים ברשת ביולוגית