Explore les transformations microbiennes et les avantages pour la santé des aliments fermentés, en mettant l'accent sur leur potentiel en tant que vecteurs de probiotiques pour les communautés mal desservies.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
