Johannes Kanig


Université Paris-Sud XI - Orsay 2010 France
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


Dross, ClaireUniversité Paris-Sud XI - Orsay2014

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.