Arnon Avron	aa@tau.ac.il
	Nachum Dershowitz	nachumd@tau.ac.il
	Yoram Hirshfeld	joram@tau.ac.il
	Alexander Rabinovich	rabinoa@tau.ac.il
	Shmuel (Mooly) Sagiv	msagiv@tau.ac.il
	Boaz (Boris) Trakhtenbrot	trakhte@tau.ac.il
	Amiram Yehudai	amiramy@tau.ac.il
	Current students
	Past and present students