Automated Verification: Students

Idan Amit ( idan@inter.net.il)

Alexander Apartsin ( apartsin@internet-zahav.net)

Tamara Arons ( tamarah@wisdom.weizmann.ac.il)

Marco Daniele ( marco@wisdom.weizmann.ac.il)

Amiel Ferman ( amielf@wisdom.weizmann.ac.il)

Dana Fisman ( dana@wisdom.weizmann.ac.il)

Efim Gukovsky ( efimg@msil.sps.mot.com)

Tal Hassner ( hassner@wisdom.weizmann.ac.il)

Aron Inger

Na'aman Kam ( kam@wisdom.weizmann.ac.il)

Yonit Kesten ( ykesten@bgumail.bgu.ac.il)

Amit Klein ( Amit.Klein@perfectotech.com)

Yehuda Koren ( yehuda@wisdom.weizmann.ac.il)

Hillel Kugler ( kugler@wisdom.weizmann.ac.il)

Vitaly Lagoon ( lagoon@verisity.com)

Michael Langberg ( mikel@wisdom.weizmann.ac.il)

Oded Lachish ( odedl@wisdom.weizmann.ac.il)

Raya Leviathan ( raya@wisdom.weizmann.ac.il)

Orna Lichtenstein ( orna@wisdom.weizmann.ac.il)

Yoad Lustig ( yoad@wisdom.weizmann.ac.il)

Monica Marcus ( monica@wisdom.weizmann.ac.il)

Hillel Miller ( hillem@msil.sps.mot.com)

Ronen Mizrahi ( ronenmiz@hotmail.com)

Matthew Morley ( matthew@verisity.com)

Eli Packer ( elip@msil.sps.mot.com)

Leia Passoni ( leia@wisdom.weizmann.ac.il)

Nir Piterman ( nirp@wisdom.weizmann.ac.il)

Lev Plotnikov ( lev@verisity.com)

Ely Porat ( porately@wisdom.weizmann.ac.il)

Yoav Rodeh ( yrodeh@wisdom.weizmann.ac.il)

Sitvanit Ruah ( sitvant@wisdom.weizmann.ac.il)

Noam Sadot ( noams@wisdom.weizmann.ac.il)

Ilya Safro ( safro@cs.bgu.ac.il)

Kate Sedletsky ( kate@wisdom.weizmann.ac.il)

Ofer Shtreichman ( ofers@summer.weizmann.ac.il)

Elad Shahar ( elad@wisdom.weizmann.ac.il)

Yael Tauman ( tauman@wisdom.weizmann.ac.il)

Boris Temkin ( temkin@cs.bgu.ac.il)