Seif Haridi
Ph.D. Kungliga Tekniska Högskolan (KTH) 1981
Dissertation:
Logic Programming Based on a Natural Deduction System
Mathematics Subject Classification: 68—Computer science
Advisor 1: Lars-Erik Thorelli
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Ghodsi, Ali | Kungliga Tekniska Högskolan (KTH) | 2006 | 2 |
| Carbone, Paris | Kungliga Tekniska Högskolan (KTH) | 2018 |
According to our current on-line database, Seif Haridi has 2 students and 4 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 201410 for the advisor ID.