Shmuel Katz

MathSciNet


Ph.D. Weizmann Institute of Science 1977 Israel
Dissertation: Invariants And The Logical Analysis Of Programs
Mathematics Subject Classification: 68—Computer science

Advisor: Zohar Manna

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Grumberg, OrnaTechnion-Israel Institute of Technology19849
Taubenfeld, GadiTechnion-Israel Institute of Technology1988
Peled, DoronTechnion-Israel Institute of Technology19912
Glusman, MarceloTechnion-Israel Institute of Technology2003
Sihman, MarceloTechnion-Israel Institute of Technology2003

According to our current on-line database, Shmuel Katz has 5 students and 16 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 19272 for the advisor ID.