Explore des groupes plats d'automorphismes et leurs propriétés, y compris des fonctions de minimisation et d'invariance dans des conditions spécifiques.
Explore la synthèse automatique de la synchronisation correcte et efficace dans les programmes, en mettant l'accent sur la suppression de l'atomicité redondante et l'ajout de métadonnées de synchronisation.
Explore la décomposition isotypique dans les algèbres C de génération finie et ses implications, y compris les idéaux stables à G et les projections linéaires.