Concept

Andreï Erchov

Résumé

Andreï Petrovitch Erchov (en Андре́й Петро́вич Ершо́в ; né le à Moscou et mort dans la même ville le ). Savant soviétique, un des pionniers de la programmation théorique et systématique, créateur de l'école sibérienne d'informatique, membre de l'Académie des Sciences d’URSS (AS-URSS). Ses travaux eurent une énorme influence sur l’essor et l'évolution de la programmation en URSS et dans le monde. Il manifestait des talents multiples et s'intéressait à la poésie, à la guitare et au chant comme aux préoccupations des autres. Très doué pour la recherche, l'enseignement et la défense de ses idées, il impressionnait par son ampleur de vue, ses aboutissements, et sa généreuse amitié. En 1954, il est diplômé de la Faculté de Mécanique-Mathématique de l'Université d’État de Moscou (FMM-UM) où il fut élève d'. Il fut un des premiers programmeurs soviétiques à recevoir une formation spécialisée dans cette discipline. Après sa thèse soutenue à la FMM-UM en 1957, il prit la tête de la section de programmation théorique du centre informatique de l'AS-URSS. En 1961, Erchov déménagea pour le campus de Novossibirsk (Akademgorodok), auquel fut alors liée toute son activité scientifique et pédagogique. Il participa activement à la diffusion en URSS d'Algol 60 et Algol 68. De 1961 à 1965, il travailla sur le langage Alpha (ex Input Language) et ses outils pour les ordinateurs M-20. Alpha était une variante d'Algol 60, incluant les opérations matricielles et sur tranches, ainsi qu'une arithmétique complexe, tout en étant restrictif sur d'autres points. Dans les années 1970, Erchov élabora un schéma générique pour la compilation de divers langages, adapté à la création de fragments optimisés de traducteurs. Ce schéma articulait plusieurs tâches pour l'automatisation de la programmation : analyse des propriétés des programmes, systèmes de transformation de programmes, étude de la définition des langages source et étude des compilateurs optimiseurs. Pour sa mise en œuvre, un langage spécialisé était nécessaire.

Source officielle

https://fr.wikipedia.org/wiki/Andreï_Erchov

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.