Seif Haridi

MathSciNet


Ph.D. Kungliga Tekniska Högskolan 1981 Sweden
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 listed in chronological order.

NameSchoolYearDescendants
Carbone, ParisKungliga Tekniska Högskolan2018
Ghodsi, AliKungliga Tekniska Högskolan20061

According to our current on-line database, Seif Haridi has 2 students and 3 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.