IBM Israel
Skip to main content
 
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Verification Seminar 2002

Introduction
Program
Visitors information
Confirmed participants
Verification in HRL
Photos from the seminar
News
Feedback


Confirmed participants
  • Alan Hartman, IBM
  • Yaron Arbetman, IBM
  • Yossi Ginzburg, IBM
  • Yossi Malka, IBM
  • Dorit Moshe, IBM
  • Elchanan Perlin, IBM
  • Eyal Gonen, IBM
  • Dan Aharoni, IBM
  • Dov Federovsky, IBM
  • Eli Bokshtein, IBM
  • Eyal Brandstein, IBM
  • Ilan Shimony, IBM
  • Kenneth Nagin, IBM
  • Oded Cohn, IBM
  • Michael Vinov, IBM
  • Moshe Leibowitz, IBM
  • Gregory Mironov, IBM
  • Daniel Geist, IBM
  • Dr. Ben-Zion Barta, IBM
  • Gil Shapir, IBM
  • Giora Biran, IBM
  • Ilan Paleiov, IBM
  • Itai Jaeger, IBM
  • Laurent Fournier, IBM
  • Moshe Klausner, IBM
  • Osnat Segev-Musafi, IBM
  • Raviv Elazar, IBM
  • Roy Emek, IBM
  • Shimon Ben-Yehuda, IBM
  • Sigal Asaf, IBM
  • Tehila Meyzels, IBM
  • Yoav Katz, IBM
  • Itzhack Goldberg, IBM
  • Mark Moulin, IBM
  • Merav Aharoni, IBM
  • Michal Rimon, IBM
  • Yoad Lustig, IBM
  • Einat Ravid, Galileo Technologies
  • Avi Nehama, Galileo Technologies
  • Polina Leyfman, Galileo Technologies
  • Jonathan Golan, Galileo Technologies
  • Muhannad Ghanem, Galileo Technologies
  • Nimrod Agmon, Galileo Technologies
  • Ron Kiper, Galileo Technologies
  • Sagi Katz, Galileo Technologies
  • Shai Manne, Galileo Technologies
  • Shay Uzery, Galileo Technologies
  • Yael Last, Galileo Technologies
  • Yael Tenne-Libman, Galileo Technologies
  • Yifat Kovalski, Galileo Technologies
  • Lee Lamdan, Galileo Technologies
  • Tali Weil, Galileo Technologies
  • Eran Golani, Galileo Technologies
  • Eran Sigler, Galileo Technologies
  • Gilad Melzer, Galileo Technologies
  • Kobi Pines, Galileo Technologies
  • Maya Harari, Galileo Technologies
  • Libby Eshet, Galileo Technologies
  • Udi Gedanken, Galileo Technologies
  • Ganit Wolfsdorf, Motorola
  • Hillel Miller, Motorola
  • Idan Chairman, Motorola
  • Alon Shoshani, Motorola
  • Gal Malach, Motorola
  • Shalom Bresticker, Motorola
  • Inbar Schori, Motorola
  • Koby Samet, Motorola
  • Ron Bercovich, Motorola
  • Erez Parnes, Motorola
  • Nissan Levi, Motorola
  • Rotem Livneh, Motorola
  • Yakov Samet, Motorola
  • Bracha Greenberg, Motorola
  • Alon Yachin, Mellanox
  • Ariel Libman, Mellanox
  • Noam Bloch, Mellanox
  • Ram Weiss-Izhaki, Mellanox
  • Hillel Chapman, Mellanox
  • Boris Gommershtadt, Verisity Ltd.
  • Uri Maoz, Verisity Ltd.
  • Ariel Melchior, Verisity Ltd.
  • Erez Kovshi, Verisity Ltd.
  • Eyal Benodiz, Verisity Ltd.
  • Ron Peretz, Verisity Ltd.
  • Guy Mosenson, Verisity Ltd.
  • Shai Fuss Verisity Ltd.
  • Amos Ziv, Verisity Ltd.
  • Shlomi Uziel, Verisity Ltd.
  • Ran Keren, Verisity Ltd.
  • Julia Shani, DSPG
  • Smadar Nehab, Beacon
  • Doron Somer, Beacon
  • Taubenfeld Gadi, Open U. & IDC
  • Yoah Bar David, none
  • Ofer Samocha, Log-On Software Ltd.
  • Oleg Raikhman, ADI
  • Dan Peleg, ADI
  • Shmuel Amrusi, SimPlus Verification
  • Ran Sudai, Analog Devices
  • Michel Jalfon, Analog Devices
  • Amir Volk, Analog Devices
  • Aharon Aharon, Seabridge


  • David Chairman, Cisco Systems
  • Doron Stein, Cisco Systems
  • Ella Shaposhnik, Cisco Systems
  • Galia Shabtai, Cisco Systems
  • Ilia Gendelev, Cisco Systems
  • Itsik Shemesh, Cisco Systems
  • Ran Stern, Cisco Systems
  • Rachel Menes, Cisco Systems
  • Ron Korman Cisco Systems
  • Yuri Roytman, Cisco Systems
  • Yaakov Farfel, Cisco Systems
  • Ilan Frisch, Cisco Systems
  • Danny David, Cisco Systems
  • Doron Shoham, Cisco Systems
  • Elena Uritsky, Cisco Systems
  • Guy Soffer, Cisco Systems
  • Ilan Glaser, Cisco Systems
  • Lior Zeltser, Cisco Systems
  • Meital Hofman, Cisco Systems
  • Noam Rabinovitch, Cisco Systems
  • Oded Schnitzer, Cisco Systems
  • Udi Finkelstein, Cisco Systems
  • Hani Dobrovitser, Cisco Systems
  • Akiva Michelson, Intel
  • Daher Kaiss, Intel
  • Alex Efron, Intel
  • Alex Levin, Intel
  • Alon Flaisher, Intel
  • Alon Gluska, Intel
  • Amit Palti, Intel
  • Amnon Rosenmann, Intel
  • Asa Ben-Tzur, Intel
  • Dmitry Korchemny, Intel
  • Doron Livny, Intel
  • Eli Singerman, Intel
  • Evgeniy Ainbinder, Intel
  • Evgeniy Ainbinder, Intel
  • Gila Kamhi, Intel
  • Igal Iancu, Intel
  • Limor Fix, Intel
  • Max Fudim, Intel
  • Moshe Sananes, Intel
  • Yael Zbar, Intel
  • Yossi Levy, Intel
  • Shy Shyman, Intel
  • Yuval Sazbon, Intel
  • Ziyad Hanna, Intel
  • Zurab Khasidashvili, Intel
  • Igor Bely, Intel
  • Dana Lichten, Intel
  • Daniel Even-Haim, Intel
  • Gutkovich Boris, Intel
  • Iris Sorani, Intel
  • Michael Boumard, Intel
  • Michael Mishaeli, Intel
  • Miriam Brusilovsky, Intel
  • Orit Kedem, Intel
  • Ranan Fraer, Intel
  • Yael Abarbanel, Intel
  • Yael Friedman, Intel
  • Alex Glikson, Technion
  • Orna Grumberg, Technion
  • Shiri Moran, Technion
  • Sharon Shoham, Technion
  • Marcelo Glusman, Technion
  • Saher Esmeir, Technion
  • Ayelet Bar Niv, Technion
  • Marcelo Sihman, Technion
  • Yechiel Kimchi, Technion
  • Emil Saucan, Technion
  • Naaman Kam, Weizmann Inst. of Science
  • Nir Piterman, Weizmann Inst. of Science
  • Raya Leviathan, Weizmann Inst. of Science
  • Orna Lichtenstein, Weizmann Inst. of Science
  • Yoav Rodeh, Weizmann Inst. of Science
  • Ilan Newman, Haifa University
  • Roi Levy, Haifa University
  • Shmuel Gal, Haifa University
  • Alexander Rabinovich, Tel Aviv University
  • Nachum Dershowitz, Tel Aviv University
  • Gila Morgenstern, Hebrew University
  • Mark Trakhtenbrot, Open University
  • Ronen Brafman, Ben-Gurion University
  • Ori Israely, Giza Venture Capital
  • Zvi Schechtr, Giza Venture Capital
  • Amit Gur, MSIL
  • Sharon Goldshlager, MSIL
  • Doron Bitov, MSIL
  • Erez Parnes, MSIL
  • Leonid Belotserkovsky, MSIL
  • Yossi Levhari, Veri-Sure Consulting Ltd
  • Evyathar Hadar, Veri-Sure Consulting Ltd
  • Ben-Zion Dr. Barta, Barcode Computers Ltd.
  • Stas Cherkassky, Intrinsix
  • Chen Amit, Gemini
  • Ayal Avrech, CW Networks
  • Grace Shulner, Tamir Fishman Ventures
  • Moshe Shalev, NoBug
  • Raanan Gewirtzman, GlobespanVirata
  • Nir Kellner, Unorganized
  • Eyal Cohen
  • Gilad Hemi

  About IBM  |  Privacy  |  Terms of use  |  Contact