Michael Codish
Original record- Institution
- Weizmann Institute of Science
- Year
- 1991
- Country
- Israel
- MGP identifier
- 19332
Dissertation: Abstract Interpretation of Sequential and Concurrent Logic Programs
Advisor 1
- Ehud Yehuda ShapiroYale University · 1982
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Samir Genaim | Ben-Gurion University of the Negev | 2003 | 2 |