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 listed in chronological order.

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

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.