Shmuel Katz


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

Click here to see the students ordered by family name.

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.