Dirk Van Heule
Ph.D. Universiteit Gent 1999
Dissertation:
Automated theorem proving and the partial predicate calculus : from implementation in Isabelle to applications
Mathematics Subject Classification: 68—Computer science
Advisor 1: Albert Hoogewijs
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Haelterman, Robby | Universiteit Gent | 2009 |
According to our current on-line database, Dirk Van Heule has 1 student and 1 descendant.
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 259656 for the advisor ID.