{"id":41,"date":"2015-08-09T15:31:56","date_gmt":"2015-08-09T12:31:56","guid":{"rendered":"http:\/\/www.eng.biu.ac.il\/hillelk\/?page_id=41"},"modified":"2022-11-19T08:37:29","modified_gmt":"2022-11-19T06:37:29","slug":"dr-hillel-kugler","status":"publish","type":"page","link":"https:\/\/www.eng.biu.ac.il\/hillelk\/","title":{"rendered":"Prof. Hillel Kugler"},"content":{"rendered":"<p>I am a faculty member at \u00a0Bar-Ilan University since 2015.\u00a0Before joining the faculty of Engineering \u00a0at Bar-Ilan I was a researcher at <a href=\"http:\/\/research.microsoft.com\/en-us\/labs\/Cambridge\/\">Microsoft Research in Cambridge<\/a>. Previously I was a member of <a href=\"http:\/\/skirball.med.nyu.edu\/faculty\/az\/e-jane-albert-hubbard\">Jane Hubbard's lab<\/a> at the Biology Department and a member of the the Analysis of Computer Systems Group , Department of Computer\u00a0Sci<img loading=\"lazy\" decoding=\"async\" class=\" size-medium wp-image-35 alignright\" src=\"http:\/\/www.eng.biu.ac.il\/hillelk\/files\/2015\/08\/Hillel-300x246.jpg\" alt=\"Hillel\" width=\"300\" height=\"246\" \/>ence, <a href=\"http:\/\/www.cims.nyu.edu\/\">Courant Institute<\/a> New York University. I did my Ph.D at the Weizmann Institute under the supervision of \u00a0David Harel and Amir Pnueli.<\/p>\n<p><strong>\u05de\u05e9\u05e8\u05d5\u05ea \u05de\u05d7\u05e7\u05e8 \u05dc\u05e1\u05d8\u05d5\u05d3\u05e0\u05d8\u05d9\u05dd \u05de\u05e6\u05d8\u05d9\u05d9\u05e0\u05d9\u05dd<\/strong><\/p>\n<p>\u05de\u05ea\u05e2\u05e0\u05d9\u05e0\u05d9\u05dd \u05d1\u05d7\u05d9\u05e9\u05d5\u05d1 \u05d1\u05d9\u05d5\u05dc\u05d5\u05d2\u05d9, \u05db\u05dc\u05d9\u05dd \u05de\u05ea\u05e7\u05d3\u05de\u05d9\u05dd \u05dc\u05e0\u05d9\u05ea\u05d5\u05d7 \u05ea\u05d5\u05db\u05e0\u05d4, \u05d0\u05d9\u05de\u05d5\u05ea \u05e9\u05dc \u05de\u05e2\u05e8\u05db\u05d5\u05ea \u05de\u05d5\u05e8\u05db\u05d1\u05d5\u05ea \u05d0\u05d5 \u05e4\u05ea\u05e8\u05d5\u05df \u05d7\u05d9\u05d3\u05d5\u05ea \u05de\u05ea\u05de\u05d8\u05d9\u05d5\u05ea? \u05e6\u05e8\u05d5 \u05e7\u05e9\u05e8 \u05dc\u05d1\u05d3\u05d5\u05e7 \u05d0\u05e4\u05e9\u05e8\u05d5\u05ea \u05dc\u05d4\u05e9\u05ea\u05dc\u05d1 \u05d1\u05de\u05d7\u05e7\u05e8 \u05dc\u05ea\u05d0\u05e8\u05d9\u05dd \u05de\u05ea\u05e7\u05d3\u05de\u05d9\u05dd \u05d0\u05d5 \u05d1\u05e4\u05e8\u05d5\u05d9\u05e7\u05d8 \u05d1\u05ea\u05d5\u05d0\u05e8 \u05e8\u05d0\u05e9\u05d5\u05df<\/p>\n<p><strong>hillelk@biu.ac.il<\/strong><\/p>\n<p><strong><span style=\"text-decoration: underline\">Avaialable Positions<\/span> <\/strong><\/p>\n<p><strong>Research Topics:<\/strong><\/p>\n<ul>\n<li>Formal verification of Learning Systems<\/li>\n<li>Theory and Implementation of novel computational devices<\/li>\n<li>New algorithms and tools for Synthesis of Gene Networks<\/li>\n<li>Modeling Stem Cell and Developmental Systems<\/li>\n<li>New Languages and tools for Software specification and rapid prototyping<\/li>\n<li>Automatic Tools for Solving Mathematical Riddles and Cyber Challenges<\/li>\n<\/ul>\n<p>For M.Sc. and PhD. Students, Postdocs or Developer Positions<strong>:<\/strong> 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\u00a0 hillelk at biu.ac.i<\/p>\n<p><a href=\"http:\/\/www.bio4comp.eu\/\">Bio4Comp Project<\/a> - Parallel Network-Based Biological Computation<\/p>\n<p><a href=\"http:\/\/www.eng.biu.ac.il\/hillelk\/files\/2018\/06\/Bio4Comp_logotyp.jpg\" class=\"thickbox no_icon\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-medium wp-image-150\" src=\"http:\/\/www.eng.biu.ac.il\/hillelk\/files\/2018\/06\/Bio4Comp_logotyp-300x82.jpg\" alt=\"\" width=\"300\" height=\"82\" \/><\/a><a href=\"http:\/\/www.eng.biu.ac.il\/hillelk\/files\/2020\/10\/ISF.png\" class=\"thickbox no_icon\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-179\" src=\"http:\/\/www.eng.biu.ac.il\/hillelk\/files\/2020\/10\/ISF.png\" alt=\"\" width=\"160\" height=\"160\" \/><\/a><\/p>\n<p><span style=\"float: none;background-color: #ffffff;color: #141412;cursor: text;font-family: 'Source Sans Pro',Helvetica,sans-serif;font-size: 16px;font-style: normal;font-variant: normal;font-weight: 400;letter-spacing: normal;text-align: left;text-decoration: none;text-indent: 0px;text-transform: none\">Algorithms for Identifying and Understanding Network Motifs<\/span><\/p>\n<p><span style=\"float: none;background-color: #ffffff;color: #141412;cursor: text;font-family: 'Source Sans Pro',Helvetica,sans-serif;font-size: 16px;font-style: normal;font-variant: normal;font-weight: 400;letter-spacing: normal;text-align: left;text-decoration: none;text-indent: 0px;text-transform: none\">\u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd \u05dc\u05d6\u05d9\u05d4\u05d5\u05d9 \u05d5\u05d4\u05d1\u05e0\u05d4 \u05e9\u05dc \u05de\u05d5\u05d8\u05d9\u05d1\u05d9\u05dd \u05d1\u05e8\u05e9\u05ea \u05d1\u05d9\u05d5\u05dc\u05d5\u05d2\u05d9\u05ea<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>I am a faculty member at \u00a0Bar-Ilan University since 2015.\u00a0Before joining the faculty of Engineering \u00a0at Bar-Ilan I was a researcher at Microsoft Research in Cambridge. Previously I was a member of Jane Hubbard&#8217;s lab at the Biology Department and a member of the the Analysis of Computer Systems Group , Department of Computer\u00a0Science, Courant &hellip; <a href=\"https:\/\/www.eng.biu.ac.il\/hillelk\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Prof. Hillel Kugler<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-41","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/pages\/41"}],"collection":[{"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/comments?post=41"}],"version-history":[{"count":22,"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/pages\/41\/revisions"}],"predecessor-version":[{"id":274,"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/pages\/41\/revisions\/274"}],"wp:attachment":[{"href":"https:\/\/www.eng.biu.ac.il\/hillelk\/wp-json\/wp\/v2\/media?parent=41"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}