Jan Vytopil
Affiliations: | Radboud University Nijmegen, Nijmegen, Gelderland, Netherlands |
Google:
"Jan Vytopil"Bio:
http://www.genealogy.math.ndsu.nodak.edu/id.php?id=83788
Parents
Sign in to add mentor| S. Kamal Abdali | grad student | 1978 | RPI | |
| (Invariant Assertion Synthesis And Theorem Generalization In Program Verification) | ||||
Children
Sign in to add trainee| Louis G. Vuurpijl | grad student | 1998 | Radboud University Nijmegen (Neurotree) |