Haïm Yehouda Leib Gottlieb

Haïm Yehouda Leib Gottlieb, habitant de Beitar Illit, marié et père de huit enfants, travaille dans la vérification de puces et prend part à la vie publique de sa ville. Né et élevé à Jérusalem, il a reçu une éducation haredi.

Il a habité à proximité du beit midrash Yehavé Da’at, où il a puisé dans l’enseignement du rav Ovadia Yossef, de mémoire bénie. Il a étudié à la yeshiva Nezer HaTorah, à la yeshiva de Slabodka à Bnei Brak et à la yeshiva Torah Ore, dans le quartier de Mattersdorf à Jérusalem. Marié à vingt ans, il s’est installé un an plus tard à Beitar Illit. Au kollel Torah Ore, il étudiait le matin le Hochen Michpat et faisait son chimouch (formation pratique) auprès du tribunal rabbinique Netivot Haïm. L’après-midi, il étudiait les lois du Chabbat dans le cadre de Dirshu. Il a ensuite poursuivi son étude du matin dans un kollel de Beitar Illit, dont il a été l’un des fondateurs, et y a été le havrouta du roch kollel pour les lois du Chabbat.

Vers vingt-trois ans, il a entrepris des études supérieures dans ce qu’on appelait alors le « Haredi College », où il a porté son niveau en mathématiques et en anglais d’abord à celui du lycée, puis à celui de cinq unités du baccalauréat israélien. Un an plus tard, il a commencé une licence d’informatique en cours du soir au Hadassah Academic College de Jérusalem. En troisième année de cette licence, qui en comptait quatre, il a été retenu pour une formation à la vérification pré-silicium de la logique des puces au sein d’une entreprise du domaine, pour le compte de laquelle il a travaillé sur des projets destinés à Marvell, Rafael et Elbit. Il a ensuite rejoint la division processeurs d’Intel, où il a travaillé sur des projets de routage de données, de protocoles à haut débit et de gestion des modes d’économie d’énergie.

D’Intel, il est parti chez L&T, où il a travaillé environ un an et demi, développant et dirigeant plusieurs projets. Il s’est ensuite mis à son compte avec sa société, Orthodox Verification, et a dirigé pour un client un projet de vérification de la logique d’intégration d’un processeur dans une puce avancée. Par la suite, il a fourni des services de vérification, par l’intermédiaire d’aceVerification, à Gilat, une société de communications par satellite. À cette époque, il travaillait depuis chez lui, et des développeurs haredim de Beitar Illit, spécialisés en full stack et en Salesforce, ont rejoint sa société. Il a dirigé leurs projets et a travaillé avec eux sur des idées entrepreneuriales qui n’avaient pas encore atteint le stade de l’amorçage. Parallèlement, il a suivi une formation à l’entrepreneuriat organisée par Atidim. Plus tard, à la demande d’aceVerification, il a été consultant auprès de Samsung. Il a formé le service de vérification de Samsung à une méthodologie de vérification avancée, redéfini l’architecture des bancs de test et dirigé une équipe qui a réécrit les environnements de vérification dédiés au traitement de l’image et de la vidéo dans les caméras des appareils mobiles. Ces derniers temps, il se consacre principalement à la recherche et au développement d’outils d’automatisation fondés sur l’intelligence artificielle pour la création d’environnements de vérification, l’IA étant guidée pour mettre en œuvre une architecture conçue par l’humain, sous contrôle humain. Il développe cette approche aussi bien pour la conception des puces que pour leur vérification pré-silicium.

Pendant ses années chez Intel, il a fondé et dirigé à Beitar Illit un kollel pour haredim du monde du travail, ce qui lui a permis de découvrir de près les difficultés que rencontrent certains jeunes de son âge ou plus jeunes que lui. Par la suite, il s’est engagé de plus en plus dans l’action publique et a été candidat à la mairie. Installé dans un nouveau quartier de la ville, il y a réuni des groupes d’avrekhim exerçant une activité professionnelle pour en faire des communautés alliant Torah et travail.