Mizuhito Ogawa
D.Sc. University of Tokyo 2002
Dissertation:
Automatic Analysis, Verification, and Generation of Functional Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1: Masami Hagiya
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Klein, Dominik | Japan Advanced Institute of Science and Technology | 2012 |
According to our current on-line database, Mizuhito Ogawa 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 184092 for the advisor ID.