Ke Wu

Un aperçu des idées mathématiques clés et de leurs applications pratiques.

Un aperçu des types, contextes et preuves dans les langages de programmation.

Découvrez comment les dynamiques non normales remettent en question notre vision des changements soudains.