Oleg Loupanov

Oleg Borissovitch Loupanov (en russe : Оле́г Бори́сович Лупа́нов), né le et mort le , est un mathématicien soviétique et russe, membre de l'Académie des sciences de Russie, doyen de la Faculté de mécanique et mathématiques de l'Université d'État de Moscou (1980–2006), titulaire de la chaire de mathématiques discrètes à la Faculté de mécanique et mathématiques (1981–2006), directeur de recherche à Institut de mathématiques appliquées Keldych (1993-2006), spécialiste en mathématiques discrètes, cybernétique, logique mathématique, lauréat du prix Lénine (1966).

Contributions scientifiques

Avec son directeur de thèse Sergueï Yablonski (en), Oleg Loupanov est considéré comme l’un des fondateurs de l'école soviétique de cybernétique. Il a notamment réalisé des travaux pionniers en synthèse et complexité de circuits booléens sur la stratégie de régulation en général (en russe : Управляющие системы, ce terme est utilisé, en USSR et en Russie pour une généralisation des automates finis, circuits booléens et circuits polyvalents).

Ingo Wegener (en), dans son livre The Complexity of Boolean Functions,[2] attribue à Oleg Lupanov la création du terme « Shannon effect » qu'il localise dans un article paru en 1970[3], pour faire référence au fait que presque toutes les fonctions booléennes ont une complexité de circuit proche de la fonction la plus difficile.

Oleg Loupanov est réputé pour la représentation de Loupanov (en) de fonctions booléennes[4] qui est utilisée pour la conception d'un circuit booléen qui montre que la borne supérieure asymptotique de la complexité ) est exacte :

.

Il a également montré l'optimalité de la construction par sous-ensembles pour la déterminisation d'un automate fini non déterministe[5].

Carrière

Oleg Loupanov est diplômé de la faculté de mécanique et mathématiques de l'Université d'État de Moscou en 1955. Il obtient le titre de candidat des sciences de l’académie des Sciences en 1958 et soutient un doctorat en sciences en 1963, sous la direction d'Alexeï Liapounov (en) et de Sergueï Yablonski avec une thèse intitulée « Sur l'estimation asymptotique de la complexité de certaines catégories de circuits de contact »[1]. Il commence à enseigner à l’Université d'État de Moscou en 1959, et devient professeur à cette même université en 1967. À partir de 1955, il occupe un poste à l'Institut de mathématiques appliquées Keldych, et il est professeur à la Faculté de mathématiques informatiques et de cybernétique de l'université de Moscou (1970–1980). Il est doyen de la Faculté de mécanique et mathématiques de l'université d'État de Moscou (1980–2006), et fondateur et titulaire de la chaire de mathématiques discrètes de la Faculté de mécanique et mathématiques (1981–2006).

Loupanov devient membre correspondant de l'Académie des sciences de l'URSS en 1972 et membre titulaire de l'Académie des sciences de Russie en 2003. Il était le directeur scientifique de l'Institut de mathématiques appliquées Keldych depuis 1993 et a reçu le titre de professeur distingué de l’université d'État de Moscou en 2002. Il reçoit le prix Lénine en 1966 et le prix Lomonossov de l'Université d'État de Moscou en 1993. Il est récipiendaire de l'ordre de l'Insigne d'honneur, de l'ordre du Drapeau rouge du Travail, de l'ordre de l'Amitié des peuples.

Parmi ses étudiants, il y a plus de 30 candidats des sciences et 6 docteurs[6].

Notes et références

  1. (en) « Oleg Borisovich Lupanov », sur le site du Mathematics Genealogy Project
  2. Ingo Wegener, The Complexity of Boolean Functions, John Wiley and Sons Ltd et B. G. Teubner, Stuttgart, (présentation en ligne), p. 87.
  3. Oleg B. Lupanov, « On circuits of functional elements with delay », Problemy Kibernetiki, vol. 23, , p. 43–81.
  4. Oleg B. Lupanov, « A method of circuit synthesis », Izvesitya VUZ, Radiofizika, vol. 1, , p. 120–140.
  5. (en) Oleg B. Lupanov, « A comparison of two types of finite sources », Problemy Kibernetiki, vol. 9, , p. 321–326.
  6. Biographie de Oleg Loupanov à l'université d'État de Moscou « Copie archivée » (version du 23 juillet 2018 sur l'Internet Archive).

Liens externes

  • Portail des mathématiques
  • Portail de l'informatique théorique
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.