Finished in 2000

• Formal Verification

  • BDDs reordering - Sigal Asaf & Yuval Emek

  • Coverability Analysis Project - Ratsaby Gil

• Graphology

  • Tal & Nati

  • Irena & Iris & Maxim & Yuval

• Travel Agency

  • Avi & Gadi & Nader & Tami

   Finished in 2001

• Automated Highway System (best projects: A-1, A-2, A3 and A-4)

  • Group A - 1: Nimrod, Oren, Sharon and Yuval

  • Group A - 2: Alex, Alon, Eran, Lior and Nevo

  • Group A - 3: Eli, Guy, Moshe and Tali

  • Group A - 4: Eran, Eshkar, Oded and Roy

  • Group A - 5: Eishay, Ofer, Yoav, Yonatan and Yonatanl

  • Group A - 6: Mayan, Moti and Rami

• Home Budget Management (best projects: B-4 and B-6)

  • Group B - 2: Gregory and Roman

  • Group B - 3: Eran, Hassan, Ithamar and Karem

  • Group B - 4: Amit, Idan, Itamar and Yoav

  • Group B - 6: Uri, Iris, Dorit and Dorit

  • Group B - 7: Jonathan

• SciTech

  • Weronika Patena - Math Trainer

   Finished in 2002

• Bus Information (best projects: B-4, B-2 anb B-1)

  • Group B - 1: Eran, Noor, Ohad and Yotam

  • Group B - 2: Eyal, Gal, Gil and Ishai

  • Group B - 3: Hila, Linda and Ruthie

  • Group B - 4: Ido, Nili, Nir and Tal

  • Group B - 5: Ahmad, Ithamar, Naim and Naseem

• Chase Game (best projects: C-3, anb C-1)

  • Group C - 1: David, Noa, Ran and Shahar

  • Group C - 2: Kamar, Tal-Nada, Tamar and Yana

  • Group C - 3: Barak, Dov, Oren & Tali

   Finished in 2003

• Multy choice exams (best projects: E-8, best user interface E-5.2)

  • Group E - 2: Asher, Azi, David and Shuki

  • Group E - 3: Ayala, Barak and Dor

  • Group E - 4: Ishai, Itay, Lior and Rozi

  • Group E - 5.1: Alexander and Dmitry

  • Group E - 5.2: Elena and Victoria

  • Group E - 6.1: Dmitriy, Elena and Ola

  • Group E - 6.2: Vlad

  • Group E - 8: Alexander, Arie K., Arie O. and Dmitry

• Graph toolkit (best projects: G-3)

  • Group G - 1: Amit, Einat, Lior and Uri

  • Group G - 2: Artyom, Asaf, Vered and Yaron

  • Group G - 3: Ruslan and Tamim

  • Group G - 4: Eyal, Hamad, Tomer and Tommy

• Java analyzes project

  • Group J -1: David, Haya, Idan and Neta

   Finished in 2005

• FPGen - Floating Point test case generation

  • Ali & Hatim Ayoub

   Finished in 2006

• Eclipse understanding (best projects : "Mission impossible" and "D3")

  • Group D3: Alex, Liran, Shai and Shai

  • Group forth-contact: Amit, Dmitry and Pavel

  • Group forth-contact (revised): Pavel

  • Group Horns&Hooves: Alexander, Anna, Michael, Pavel and Yevgenia

  • Group kitties: Eyal, Jenny, Jonathan, Karawan and Natalia

  • Group Mission impossible: Sharon and Yaron

   Finished in 2007

• Tree of knowladge (best projects : "SST")

  • Group ASW: Felix, Liron, Maayan, Nikita, Orly, Tomer

  • Group GOS: David, Eldar, Lena, Nir, Rafi, Valery

  • Group LOST: Ari, Evgeni, Guy, Michael, Michal, Shay

  • Group SST: Faddy, Gal, Ophir, Rani and Raanan

   Finished in 2009

• Yearly Project In Software Engineering - Follow The Sun (FTS)

   Finished in 2010

• Brain Training (best projects : BrainWorks)

  • BFA: Bahaa, Artiom, Elias, Yuli, Alexandra, Rashed

  • BITS: Anna, Guy, Meitar, Ophir, Yuval

  • BrainFreeze: Asi, Assaf, Eli, Israel, Marina, Shai

  • BrainStorming: Andrey, Guy, Maor, Maxim, Tamir, Tatiana

  • BrainWorks: Daniel, Elad, Kfir, Nadav, Noam, Yoel, Yuval

  • NSS: Alex, Amir, Hani, Michael, Oleg, Pavel
    (this project will run without installation.)