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 2003

Introduction
Program
Abstracts
Visitors information
Confirmed participants
Verification in HRL
Feedback


Confirmed participants
  1. Aharon Aharon, Jerusalem Global Ventures
  2. Alexander Levin, Intel
  3. Alon Flaisher, Intel
  4. Alon Gluska, Intel
  5. Alon Shtepel, Discretix
  6. Alon Wintergreen, Summit Design
  7. Alon Yachin, Tel Aviv University
  8. Amit Palti, Intel
  9. Amit Gur, Motorola
  10. Amos Ziv, Verisity
  11. Andrew Piziali, Verisity
  12. Ariel Lejtman, Intel
  13. Ariel Libman, Mellanox Technologies
  14. Arik Shmayovitsh, Verisity
  15. Assaf Schuster, Technion
  16. Avi Shimalkovski, Oplus
  17. Avi Yadgar, Technion
  18. Ayal Avrech, CW Networks Ltd.
  19. Barak Baron, ANALOG DEVICES
  20. Benny Yoshpa, Intel
  21. Boaz Ben-Nun, starcore-dsp
  22. Boris Gutkovich, Intel
  23. Bracha Greenberg, Motorola Semiconductor
  24. Daher Kaiss, Intel Corp.
  25. Dana Fisman, Weizmann
  26. Daniel Even-Haim, Intel
  27. Daniel Even-haim, Intel Israel
  28. Daniel Szoke, National Semiconductor
  29. Dan Peleg, Analog Devices
  30. David Miller, Alvarion
  31. David Yahalomi, Itec Ltd.
  32. Deivis Hanan, Analog Devices
  33. Dmitry Korchemny, Intel
  34. Doron Livny, Intel
  35. Doron Stein, Cisco Systems
  36. Dov Frnd, Cisco
  37. Dudu Avishai, Broadlight
  38. Edna Kashi, Marvell
  39. Einat Ophir, Motorola
  40. Elena Ravve, Tower Semi
  41. Elena Goldstein, intel
  42. Elena Kubanov, Zoran
  43. Eran Cohen, Zoran
  44. Eyal Benoudiz, Verisity
  45. Eyal Prashker, Broadlight
  46. Fabio Somenzi, University of Colorado
  47. Farhan Wadood, student
  48. Galia Shabtai, Cisco
  49. Gal Vardi, Marvell
  50. Galia Shabtai, Cisco
  51. Gilad Melzer, Marvell
  52. Giora Ariel, Oplus Technologies
  53. Gur Eliash, Qualitest
  54. Guy Shmueli, Star Core
  55. Guy Soffer, Cisco
  56. Hadas Ronen, Intel
  57. Haim Cohen, Analog Devices
  58. Hani Dobrovitser, Cisco Systems
  59. Hillel Miller, Motorola
  60. Idit Buch, Verisity
  61. Igal Iancu, Intel
  62. Igor Bely, Intel
  63. Ilan Frisch, Cisco Systems
  64. Ilan Glaser, Cisco Systems Israel
  65. Iris Aharoni, National Semiconductor
  66. Itsik Shemesh, Cisco Systems
  67. Jonathan Golan, Galileo Technologies
  68. Jonathan Shalev
  69. Kobi Pines, Marvell
  70. Lev Litinsky, ECI Telecom
  71. Li-Tal Mashiach, Zoran
  72. Libby Eshet, Marvell
  73. Limor Fix, Intel
  74. Lior Zeltzer, Cisco Systems
  75. Mark Trakhtenbrot, Open University
  76. Max Chvalevsky, Marvell
  77. Maya Harari, Galileo Technologies
  78. Maya Harari, Marvell Israel
  79. Michael Mishaeli, Intel
  80. Michel Jalfon, Analog Devices
  81. Miriam Brusilovsky, Intel
  82. Mody Miller, Oplus Technologies Ltd.
  83. Mor Ben-Asher, Zoran
  84. Muhannad Ghanem, Galileo Technologies
  85. Nachum Dershowitz, Tel Aviv University
  86. Navit Fedida, Motorola Semi-Conductor
  87. Nimrod Agmon, Marvell


  1. Nir Kellner, Earthling
  2. Nir Maor, Zoran
  3. Nir Ronen, Zoran
  4. Nir Segev, Cisco
  5. Noam Rabinovitch, Cisco Systems
  6. Noam Bloch, Mellanox Technologies Ltd
  7. Noam Elbaum, StarCore LLC
  8. Nohik Semel, Texas Instruments
  9. Oded Haim-Langford, Marvell
  10. Ofer Strichman, Technion
  11. Ofer Bar-Dan, cisco
  12. Oleg Raikhman, ADI
  13. Omri Raisman, Synopsys
  14. Oran Keren, Texas Instruments
  15. Ori Chalak, Analog-Devices Inc
  16. Ori Kanfer, Webcohort
  17. Orna Grumberg, Technion
  18. Oved Saraf, Verisity LTD
  19. Pablo Urstain, Analog Devices
  20. Peter Paneah, Mellanox
  21. Polina Leyfman, marvell
  22. Rachel Menes, Cisco Systems
  23. Rafy Diaz, Texas Instruments
  24. Rami Rachamim, Summit Design
  25. Rami Zemach, Cisco System Israel
  26. Ram Weiss-Izhaki, Mellanox Technologies LTD
  27. Ran Keren, Verisity
  28. Ran Stern, Cisco Systems
  29. Ran Sudai, Analog Devices
  30. Raviv Gal, Marvell
  31. Revital Meroz, marvell
  32. Roi Rahamim, Mellanox LTD
  33. Ron Bercovich, Motorola
  34. Ron Kiper, Marvell
  35. Roni Ashuri, Mellanox
  36. Rony Bitton, MOTOROLA
  37. Roy Armoni, Intel
  38. Roy Sofer, Texas Instruments
  39. Ruthie Sharir, Marvell
  40. Ruthie Albocher, Marvell
  41. Sagi Katz, Galileo Technologies
  42. Sara Hassar, Marvell
  43. Sasha Novakovsky, Intel
  44. Sergey Nemanov, SanDisk Corporation
  45. Shai Manne, Marvell
  46. Shalom Bresticker, Motorola
  47. Sharon Goldshlager, Motorola
  48. Shaul Shashoua, Marvell
  49. Shiri Rahimian, Qualitest
  50. Shlomi Uziel, Verisity
  51. Shmulik Pisanty, Wavion
  52. Shy Shyman, Intel
  53. Srikanth Vijayaraghavan, Synopsys
  54. Stas Cherkassky, Technion
  55. Tal Keidar, Zoran
  56. Tal Horowitz, Intel
  57. Tali Nir, Marvell
  58. Tamir Heyman, Intel
  59. Tomer Carmeli, Marvell
  60. Tomer Levy, Intel
  61. Tom Slee, ArchSilc
  62. Tsachi Weiser, Analog Devices
  63. Tzur Sayag, TAU
  64. Tzvi Melamed, Intel
  65. Uri Baror, starcore-dsp
  66. Uri Maoz, Verisity
  67. Vered Gafni, IAI
  68. Victor Schwartzburd, ORT Braude College, Karmiel
  69. Vladimir Sinelnikov, Holon Academic Institute of Technology
  70. Wolfgang H. Nebel, Oldenburg University
  71. Yacov Ostrovski, ECI-telecom
  72. Yael Abarbanel, Intel
  73. Yael Friedman, Intel
  74. Yael Tenne-Libman, Marvell
  75. Yael Zbar, Intel
  76. Yaniv Barash, Marvell
  77. Yaniv Dana, Intel
  78. Yaniv Sa'ar, Ben-Gurion University
  79. Yechiel Kimchi, Technion
  80. Yehiel Engel, Broadlight
  81. Yishay Mansour, Tel-Aviv University
  82. Yossi Levhari, VeriSure Consulting
  83. Yossi Socoletzky, cicso
  84. Ziyad Hanna, Intel
  85. Zurab Khasidashvili, Intel
  86. Zvika Amir, Summit Design

  About IBM  |  Privacy  |  Terms of use  |  Contact