Johannes Kanig
Université Paris-Sud XI - Orsay 2010
Dissertation:
Spécification et preuve de programmes d'ordre supérieur [Specification and proof of higher-order programs]
Mathematics Subject Classification: 68—Computer science
Advisor 1: Christine Paulin-Mohring
Advisor 2: Jean-Christophe Filliâtre
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Dross, Claire | Université Paris-Sud XI - Orsay | 2014 |
According to our current on-line database, Johannes Kanig 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 182508 for the advisor ID.