Explore la conception de missions spatiales, les sorties spatiales historiques, le programme Artemis, les missions Mars et les vols spatiaux suborbitaux.
Met l'accent sur la mise en œuvre d'un générateur de fonctions carrées utilisant la technologie Speedgoat FPGA et les techniques de traitement du signal en temps réel.
Explore la conception et la fabrication de matériaux souples pour la robotique bioinspirée et l'électronique bio-intégrée, mettant en évidence les progrès de la fabrication durable.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.