Contribution a l'étude du controle optimal stochastique

De l'optimisation des programmes

Conception descendante de machine informatique

Etude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL

S.C.A.P.F.A.C.E. système de conception automatique et progressive d'un système de gestion de base de données fondé sur l'analyse conversationnelle des états de sortie

Un Compilateur de microprogrammes