Jump to content

Alexei Semenov (mathematician): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
mNo edit summary
No edit summary
Line 19: Line 19:
[[File:Вручение красных дипломов студентам МПГУ.jpg|thumb|275px|{{center|<small>Presentation of honors diplomas to students of Moscow State Pedagogical University<br />August 12, 2015</small>}}]]
[[File:Вручение красных дипломов студентам МПГУ.jpg|thumb|275px|{{center|<small>Presentation of honors diplomas to students of Moscow State Pedagogical University<br />August 12, 2015</small>}}]]


== Early Life and Education ==
== Biography ==
⚫
Was born in 1950 in Moscow. Graduated from Moscow school No. 7 with in-depth study of mathematics and computer science. He entered the [[MSU Faculty of Mechanics and Mathematics|Faculty of Mechanics and Mathematics of Moscow State University]], from which he graduated in 1972. Remained in graduate school at the Department of Mathematical Logic, scientific supervisor ― [[Albert Muchnik]]. Candidate of Sciences in Physics and Mathematics (1975, dissertation ''«On definability in some decidable theories»''), [[Doctor of Sciences]] in Physics and Mathematics (1984, dissertation ''«Logical theories of one-place functions on a natural series»'', defended at [[Steklov Institute of Mathematics]]).


⚫
Alexei Semenov was born in 1950 in Moscow to a family of electronic and computer engineers. He graduated from Moscow school No. 7 and the [[MSU Faculty of Mechanics and Mathematics|Faculty of Mechanics and Mathematics of Lomonosov Moscow State University]] (1972). He completed Candidate of Sciences in Physics and Mathematics degree (Moscow State University, 1975, scientific advisor ― [[Albert Muchnik]], dissertation ''«On definability in some decidable theories»''), [[Doctor of Sciences]] in Physics and Mathematics degree ([[Steklov Institute of Mathematics]], 1984, dissertation ''«Logical Theories of One-place Functions on Integers»'').
Specialist in the field of [[mathematical logic]], [[cybernetic]]s, theoretical computer science, education. Along with scientific work, he conducted pedagogical work. Taught at the Kolmogorov boarding school at Moscow State University (SSC MSU) and at the Department of Mathematical Logic at Moscow State University. [[Professor (highest academic rank)|Professor]] (1998).


== Career and Research ==
He headed the laboratory of the theory of algorithms and linguistic support of the Scientific Council of the Academy of Sciences of the USSR on the complex problem «Cybernetics», was the deputy head of the project «School-1» of the Academy of Sciences of the USSR (headed by Academician [[Evgeny Velikhov]]). Co-author of the first computer science textbook for all Soviet schools. Later ― the head of the authors' teams of textbooks in mathematics and computer science for primary and secondary schools. He was the deputy head of the Moscow Department of Education.


Semenov conducted his research in the field of [[mathematical logic]], [[cybernetic|cybernetics]], [[theoretical computer science]], [[artificial intelligence]], education.
Rector of the Moscow Institute of Open Education (1993-2013) which is responsible for the professional development, in-service training, guidance and consulting of all 100,000 Moscow teachers.<ref name="Dr. Alexei Semenov">{{cite web |url = https://www.wise-qatar.org/biography/alexei-semenov/ |title = Dr. Alexei Semenov |website = WISE Awards |accessdate = 2022-01-13}}</ref> In 2003 he recreated school No. 179 and returned the mathematician and teacher [[Nikolay Konstantinov]] to work there.


=== Mathematics ===
Rector of the [[Moscow State Pedagogical University]] (2013–2016). Director of the Institute of Cybernetics and Educational Informatics named after A.I.Berg FITs IU RAS (since 2015). Head of the Department of Mathematical Logic and Theory of Algorithms [[MSU Faculty of Mechanics and Mathematics]] (since 2018).


His major field in mathematical logic is definability theory<ref>{{Cite journal |last=Semenov |first=Alexei |last2=Soprunov |first2=Sergey |last3=Uspensky |first3=Vladimir |date=2014 |title=The Lattice of Definability. Origins, Recent Developments, and Further Directions |url=https://link.springer.com/chapter/10.1007/978-3-319-06686-8_3 |journal=Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia. CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Lecture Notes in Computer Science |volume=8476 |language=en |location=Cham |publisher=Springer International Publishing |pages=23–38 |doi=10.1007/978-3-319-06686-8_3 |isbn=978-3-319-06686-8}}</ref>. He is known for his decidability results<ref>{{Cite journal |last=Semenov |first=A. L. |date=1980-04-30 |title=On Certain Extensions of the Arithmetic of Addition of Natural Numbers |url=https://iopscience.iop.org/article/10.1070/IM1980v015n02ABEH001252/meta |journal=Mathematics of the USSR-Izvestiya |language=en |volume=15 |issue=2 |pages=401 |doi=10.1070/IM1980v015n02ABEH001252 |issn=0025-5726}}</ref><ref>{{Cite journal |last=Semënov |first=A. L. |date=1984-06-30 |title=Logical Theories of One-place Functions on the Set of Natural Numbers |url=https://iopscience.iop.org/article/10.1070/IM1984v022n03ABEH001456 |journal=Mathematics of the USSR-Izvestiya |volume=22 |issue=3 |pages=587–618 |doi=10.1070/im1984v022n03abeh001456 |issn=0025-5726}}</ref> Cobham – Semenov Theorem<ref>{{Cite journal |last=Semenov |first=A. L. |date=1977-03-01 |title=Presburgerness of Predicates Regular in Two Number Systems |url=https://doi.org/10.1007/BF00967164 |journal=Siberian Mathematical Journal |language=en |volume=18 |issue=2 |pages=289–300 |doi=10.1007/BF00967164 |issn=1573-9260}}</ref> symbolic dynamics applications<ref>{{Cite journal |last=Muchnik |first=Andrei A. |last2=Pritykin |first2=Yurii L. |last3=Semenov |first3=Aleksei L. |date=2009-10-31 |title=Sequences Close to Periodic |url=https://iopscience.iop.org/article/10.1070/RM2009v064n05ABEH004641 |journal=Russian Mathematical Surveys |volume=64 |issue=5 |pages=805–871 |doi=10.1070/rm2009v064n05abeh004641 |issn=0036-0279}}</ref> lattices of definability descriptions<ref>{{Cite journal |last=Semenov |first=A. L. |last2=Soprunov |first2=S. F. |date=2021-12-01 |title=Lattice of Definability (of Reducts) for Integers with Successor |url=https://iopscience.iop.org/article/10.1070/IM9107 |journal=Izvestiya: Mathematics |volume=85 |issue=6 |pages=1257–1269 |doi=10.1070/im9107 |issn=1064-5632}}</ref><ref>{{Cite journal |last=Semenov |first=Alexei |last2=Soprunov |first2=Sergei |date=January 2022 |title=Automorphisms and Definability (of Reducts) for Upward Complete Structures |url=https://www.mdpi.com/2227-7390/10/20/3748 |journal=Mathematics |language=en |volume=10 |issue=20 |pages=3748 |doi=10.3390/math10203748 |issn=2227-7390}}</ref>. His student [[Andrey Muchnik]] solved [[Michael Rabin]] problem, posed at [[International Congress of Mathematicians]] in Nice<ref>{{Cite book |last=Muchnik, An. A. |date=1992 |title=Games on Infinite Trees and Automata with Dead-ends. A New Proof for the Decidability of the Monadic Second Order Theory of Two Successors |url=https://mccme.ru/shen/muchnik-memorial/materials/publications/Muchnik1992InfiniteTrees.pdf |work=Bull. EATCS |volume=48 |pages=220–267.}}</ref><ref>{{Cite journal |last=Semenov |first=A. L. |date=1984 |title=Decidability of Monadic Theories |url=https://link.springer.com/chapter/10.1007/BFb0030296 |journal=Mathematical Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science |volume=176 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=162–175 |doi=10.1007/BFb0030296 |isbn=978-3-540-38929-3}}</ref>. [[Andrey Muchnik|Muchnik]] and Semenov solved<ref>{{Cite journal |last=Muchnik |first=An. A. |last2=Semenov |first2=A. L. |date=2003-01-01 |title=On the Role of the Law of Large Numbers in the Theory of Randomness |url=https://doi.org/10.1023/A:1023638717091 |journal=Problems of Information Transmission |language=en |volume=39 |issue=1 |pages=119–147 |doi=10.1023/A:1023638717091 |issn=1608-3253}}</ref> a problem of [[Andrey Kolmogorov]] from his work originated descriptive complexity theory<ref>{{Citation |last=Kolmogorov |first=A. N. |title=On Tables of Random Numbers |date=1993 |url=https://doi.org/10.1007/978-94-017-2973-4_9 |work=Selected Works of A. N. Kolmogorov: Volume III: Information Theory and the Theory of Algorithms |pages=176–183 |place=Dordrecht |publisher=Springer Netherlands |language=en |doi=10.1007/978-94-017-2973-4_9 |isbn=978-94-017-2973-4 |access-date=2023-01-01}}</ref>. He contributed also to the foundations of the theory of algorithms and theory of randomness<ref>{{Cite journal |last=Uspensky |first=V. A. |last2=Semenov |first2=A. L. |date=1981 |title=What are the Gains of the Theory of Algorithms: Basic Developments Connected with the Concept of Algorithm and with Its Applications in Mathematics |url=https://link.springer.com/chapter/10.1007/3-540-11157-3_27 |journal=Algorithms in Modern Mathematics and Computer Science, Urgench, Uzbek SSR, September 16 – 22, 1979. Proceedings. Lecture Notes of Computer Science |volume=122 |language=en |location=Berlin, Heidelberg |publisher=Springer |pages=100–234 |doi=10.1007/3-540-11157-3_27 |isbn=978-3-540-38621-6}}</ref><ref>{{Cite journal |url=https://link.springer.com/book/10.1007/978-94-015-8232-2 |last=Uspensky |first=V. A. |last2=Semenov |first2=A. L. |date=1993 |title=Algorithms: Main Ideas and Applications |journal=Mathematics and its Applications |volume=251 |location=Dordrecht |publisher=Kluwer Academic Publishers |pages=269 |language=en |doi=10.1007/978-94-015-8232-2}}</ref><ref>{{Cite journal |last=Uspenskii |first=V A |last2=Semenov |first2=A L |last3=Shen' |first3=A. Kh. |date=1990-02-28 |title=Can an Individual Sequence of Zeros and Ones be Random? |url=https://iopscience.iop.org/article/10.1070/RM1990v045n01ABEH002321 |journal=Russian Mathematical Surveys |volume=45 |issue=1 |pages=121–189 |doi=10.1070/rm1990v045n01abeh002321 |issn=0036-0279}}</ref><ref>{{Cite journal |last=Muchnik |first=Andrei A. |last2=Semenov |first2=Alexei L. |last3=Uspensky |first3=Vladimir A. |date=1998-11-06 |title=Mathematical Metaphysics of Randomness |url=https://www.sciencedirect.com/science/article/pii/S0304397598000693 |journal=Theoretical Computer Science |language=en |volume=207 |issue=2 |pages=263–317 |doi=10.1016/S0304-3975(98)00069-3 |issn=0304-3975}}</ref>.
Editor-in-chief of the ''«[[Kvant (magazine)|Kvant magazine]]»'' (2012–2018). Editor-in-chief of the journal ''«Reports of the Russian Academy of Sciences. Mathematics, informatics, management processes»'' (from 2021).


Among other his students are [https://www.researchgate.net/profile/Alexei-Lisitsa Alexei Lisitsa], [https://www.cs.princeton.edu/people/profile/pritykin Yuri Pritykin], [https://starikovskaya.github.io/homepage/ Tatyana Starikovskaya] and [[Vladimir Vovk]].
Member of the [[Russian Academy of Sciences]]<ref name="70 year jubilee of academician Alexei L. Semenov">{{cite web |url = https://www.chebsbornik.ru/jour/article/view/930?locale=en_US |title = 70 year jubilee of academician Alexei L. Semenov |website = Chebsbornik |date = 2021 |author = Rudchenko T.A., Soprunov S.F., Uvarov A.Yu. |accessdate = 2022-01-13}}</ref> in the Department of Mathematical Sciences (since 2011), Academician of the Russian Academy of Education<ref name="70 year jubilee of academician Alexei L. Semenov" />(since 2010).


=== Computing and AI ===
Author of over 400 scientific papers in mathematics, computer science and education.<ref>[https://scholar.google.ru/citations?hl=ru&user=I86sU6YAAAAJ GoogleAcademy]</ref><ref>[https://zbmath.org/authors/?q=ai:semenov.alexei-l Zentral MATH]</ref><ref>[https://mathscinet.ams.org/mathscinet/MRAuthorID/218197 MathSciNet]</ref><ref>[https://www.elibrary.ru/author_items.asp?spin=2289-1720 Elibrary.ru]</ref><ref>[http://orcid.org/0000-0002-1785-2387 ORCID]</ref><ref>[https://publons.com/researcher/1853196/alexei-l-semenov/ Publons]</ref><ref>[https://www.scopus.com/authid/detail.uri?authorId=7402499019 Scopus Semenov, Alexei L.]</ref><ref>[https://www.researchgate.net/profile/Alexei_Semenov2 ResearchGate Alexei L. Semenov]</ref>
Semenov started work in practical computing at age 14 in cooperation with his mother, specifically in speech recognition<ref>{{Cite book |url=https://rusneb.ru/catalog/000224_000128_0000181882_19660421_A1_SU/ |last=Семенова Е. Т. |title=Способ кодирования (распознавания) смысловой информации устной речи |date=1965 |language=ru}}</ref> in the group of [[:ru:Поспелов,_Дмитрий_Александрович|Dmitry Pospelov]]. He participated in the last Soviet attempt to construct a supercomputer in 1986<ref>{{Cite journal |last1=Семенов |first1=А. Л.|last2=Сопрунов |first2=С. Ф. |title=О языке комбинаторно-логического процессора |journal=Сб. Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики. |publisher=Научный совет по комплексной проблеме «Кибернетика» АН СССР |volume=117 |date=1985 |pages=182–191}}</ref>. In the last years he developed a concept of individual extended by digital instruments and media<ref>{{Cite book |last=А. Л. Семенов, К. Е. Зискин |url=http://ukros.ru/wp-content/uploads/2022/11/Человек-и-системы-ИИ.pdf |title=Расширенная личность как основной субъект и предмет философского анализа. Следствия для образования |journal=в кн. Лекторский В. А. «Человек и системы искусственного интеллекта» |year=2022 |location=М. |publisher=Юридический центр |pages=172–200}}</ref>. The concept elaborates vision of [[Lev Vygotsky]]<ref>{{Cite web |last=Vygotsky |first=L. S. |title=The Instrumental Method in Psychology by Vygotsky |date=1930 |url=https://www.marxists.org/archive/vygotsky/works/1930/instrumental.htm |access-date=2023-01-01 |website=www.marxists.org}}</ref>, [[:ru:Фейгенберг,_Иосиф_Моисеевич|Josef M. Feigenberg]]<ref>{{Cite book |url=https://www.koob.ru/feigenberg/chelovek_dostroyennyy |last=Фейгенберг |first=И. М. |title=Человек Достроенный и этика. Цивилизация как этап развития жизни Земли |location=М.|publisher=ООО «Медицинское информационное агентство» |date=2011 |pages=128 }}</ref>, [[Sherry Turkle]]<ref>{{Cite book |last=Sherry |first=Turkle |title= The Second Self: Computers and the Human Spirit. Twentieth Anniversary Edition |location=Cambridge, Massachusetts London, England |publisher=The MIT Press |date=2005 |pages=372 |url=https://www.sherryturkle.com/the-second-self |access-date=2023-01-01 |language=en}}</ref>, [[Andy Clark]] <ref>{{Cite book |last=Clark |first=A. |url=https://www.researchgate.net/publication/266603199_Natural-Born_Cyborgs_Minds_Technologies_and_the_Future_of_Human_Intelligence |title=Natural-Born Cyborgs: Minds, Technologies, and the Future of Human Intelligence |year=2003 |publisher=Oxford Univ. Press |pages=229}}</ref> and [[Michel Serres]] <ref>{{Cite book |last=Michel |first=Serres |title=Petite Poucette |location=Paris |publisher=Éditions Le Pommier |date=2012 |url=https://www.babelio.com/livres/Serres-Petite-poucette/368360 |access-date=2023-01-01 |language=fr}}</ref> to the educational context of mass school.

=== Education: Theory and Implementation ===
Semenov’s theoretical and practical work in education originated in his involvement as a student, and later, as a teacher in the Konstantinov’s math schools<ref>{{Cite journal |last=Константинов |first=Н. Н. |last2=Семенов |first2=А. Л. |date=2021-04-07 |title=Результативное образование в математической школе |url=https://www.chebsbornik.ru/jour/article/view/956 |journal=Чебышёвский сборник |language=ru |volume=22 |issue=1 |pages=413–446 |doi=10.22405/2226-8383-2021-22-1-413-446 |issn=2226-8383}}</ref>. His educational philosophy is rooted in “learning-by-doing (mathematics ao)” of [[Robert Lee Moore]]<ref name=":0">{{Cite book |last1=Traylor |first1=Reginald D. |last2=Bane |first2=William |last3=Jones |first3=Madeline |title=Creative Teaching: Heritage of R. L. Moore. |year=1972 |location=Houston, Texas |publisher=University of Houston |pages=478 |url=https://core.ac.uk/download/pdf/82388051.pdf}}</ref> and [[Paul Halmos]]<ref>{{Cite journal |last=Halmos |first=P. R. |last2=Moise |first2=E. E. |last3=Piranian |first3=George |date=1975 |title=The Problem of Learning to Teach |url=https://www.jstor.org/stable/2319737 |journal=The American Mathematical Monthly |volume=82 |issue=5 |pages=466–476 |doi=10.2307/2319737 |issn=0002-9890}}</ref> and Russian mathematical circles<ref name=":0" /> constructionist approach of [[Seymour Papert]]<ref>{{Cite book |last=Papert |first=Seymour |url=http://archive.org/details/mindstormschildr00pape |title=Mindstorms : children, computers, and powerful ideas |date=1980 |publisher=New York : Basic Books |others=Internet Archive |isbn=978-0-465-04627-0}}</ref> see also<ref>{{Citation |last=Noss |first=Richard |title=Constructionism and Microworlds |date=2017 |url=https://doi.org/10.1007/978-3-319-02600-8_3 |work=Technology Enhanced Learning: Research Themes |pages=29–35 |place=Cham |publisher=Springer International Publishing |language=en |doi=10.1007/978-3-319-02600-8_3 |isbn=978-3-319-02600-8 |access-date=2023-01-01 |last2=Hoyles |first2=Celia}}</ref> of [[London Knowledge Lab]].

His approach to learning and teaching  math and computer science in primary school is based on [[Inquiry-based learning]], mathematical experimenting by learners, language development, emphasizing visual (on screen and paper) and palpable (manipulatives, moving objects) environments of strings, bags, tables, games, and robots as the basis for all math, including, but not limited by, numerical (arithmetic); priority of solving problems-not-known-how-to-solve over drill-and-practice, using computer for all routine tasks<ref>{{Cite web |last=Prof. A. Semenov's personal page |title=Современный курс математики и информатики в школе. Часть 1 (Modern Course of Mathematics and Informatics at School. Part 1) |language=ru |url=https://alsemenov.ru/articles-2004#rec267287276}}</ref><ref>{{Cite web |last=Prof. A. Semenov's personal page |title=Современный курс математики и информатики в школе. Часть 2 (Modern Course of Mathematics and Informatics at School. Part 2) |language=ru |url=https://alsemenov.ru/articles-2004#rec267287496}}</ref><ref>{{Cite journal |last1=Семенов |first1=А.Л. |last2=Атанасян |first2=С. Л. |title=Формирование математической компетенции в основной школе (Formation of Mathematical Competence in Basic School) |journal=«Наука и школа» (Science and School) |volume=5 |date=2014 |pages=7–12 |language=ru |url=http://nauka-i-shkola.ru/en/node/84}}</ref><ref>{{Cite journal |last=Semenov |first=A. L. |last2=Muranov |first2=A. A. |last3=Polikarpov |first3=S. A. |last4=Bakhtina |first4=E. U. |date=2022 |title=The Content and Methodology of Teaching Mathematics in Primary School in the Conditions of Digitalization |url=https://doi.org/10.24888/2500-1957-2022-3-25-39 |journal=Continuum. Maths. Informatics. Education |volume=27 |issue=3 |pages=25–39 |doi=10.24888/2500-1957-2022-3-25-39 |issn=2500-1957}}</ref><ref>{{Cite journal |date=2020 |last1=Semenov |first1=A. |last2=Polikarpov |first2=S. |title=Digital Transformation of School and the Role of Mathematics and Informatics within It. Problems and Paradoxes of Mathematics Education and their Digital Solution |url=https://ceur-ws.org/Vol-2770/paper1.pdf |journal=Proceedings of the 4th International Conference on Informatization of Education and E-learning Methodology: Digital Technologies in Education (IEELM-DTE 2020). Krasnoyarsk, Russia, October 6–9, 2020. CEUR Workshop Proceedings |volume=2770 |pages=1–8}}</ref><ref>{{Cite journal |last=Polikarpov |first=Sergei A. |last2=Semenov |first2=Alexei L. |date=2017 |title=Mathematics for the 21st Century School: The Russian Experience and International Prospects |url=https://link.springer.com/chapter/10.1007/978-3-319-62597-3_101 |journal=Proceedings of the 13th International Congress on Mathematical Education |language=en |location=Cham |publisher=Springer International Publishing |pages=675–676 |doi=10.1007/978-3-319-62597-3_101 |isbn=978-3-319-62597-3}}</ref><ref>{{Cite journal |first=Aleksey L. |last=Semenov |title=Implementation of the Conceptual Framework for Russian Mathematical Education |journal=Current Issues In Mathematics Education Materials Of The American-Russian Workshop - COMAP, November 18–20, 2016 |date=2016 |url=https://www.comap.com/membership/free-student-resources/item/current-issues-in-mathematics-education-materials-of-the-american-russian-workshop |language=en-gb}}</ref><ref>{{Cite journal |last1=Firsov |first1=Victor |first2=Alexey |last2=Semenov |title=School Mathematics in Russia |url=https://alsemenov.com/work-achievements/international-congress#rec346136312 |journal=«National Presentations: Russia», 10-th International Congress on Mathematical Education, Copenhagen, 2004.}}</ref><ref>{{Cite journal |first=Alexei L. |last=Semenov |title=Technology in Transforming Education |url=https://alsemenov.ru/articles-2000#rec209759949 |journal=Communications and Networking in Education |publisher=Springer |place=Boston, MA, USA |date=2000|page=25–36 |DOI=10.1007/978-0-387-35499-6_29}}</ref>.

In 1985 he was the organizer and co-author of the first computer science textbook for all Soviet schools (editor and co-author – academician [[:ru:Ершов,_Андрей_Петрович|A. P. Ershov]])<ref>{{Cite book |last1=Ершов |first1=А. П. |last2=Кушниренко |first2=А. Г. |last3=Лебедев |first3=Г. В. |last4=Семенов |first4=А. Л. |last5=Шень |first5=А. Х. |title=Основы информатики и вычислительной техники. Пробный учебник для сред. учеб. заведений (Fundamentals of Informatics and Computer Engineering. Trial textbook for secondary schools) |date=1988 |location=Moscow |publisher="Prosveshchenie" |language=ru |isbn=5-09-000593-1}}</ref>. Later he was the leader of the authors' teams for textbooks in mathematics and computer science for primary and secondary schools<ref>{{Cite web |last=Prof. A. Semenov's personal page |title=Development of Teaching Materials |url=https://alsemenov.com/work-achievements/teaching-materials}}</ref><ref>{{Cite web |last=Prof. A. Semenov's personal page |title=Educational and methodical complex «Informatics 3-4» part 1 (English translation) |url=https://alsemenov.com/articles-2013#rec533561533}}</ref>.

In 1987 he originated a not-for-profit Institute of New Technologies (INT) that introduced the constructionist philosophy into Russian schools and started cooperation of INT and other Russian educators with Papert group at MIT<ref>{{Cite web |last=Papert |first=Seymour A. |title=In memory: Seymour Papert |url=https://www.media.mit.edu/posts/in-memory-seymour-papert/ |access-date=2023-01-01 |website=MIT Media Lab}}</ref>, [[Blagovest Sendov]], [[Robert F. Tinker|Robert Tinker]], group at [https://www.terc.edu/ TERC], [https://lcsi.co/en/ LCSI], [https://www.keycurriculum.com/ Key Curriculum Press]'''.''' So INT produced Russian adaptations, learning and teachong materials for Logo, educational LEGO, Geometer’s Sketchpad, etc.<ref>{{Cite web |title=Logo in Russia |url=http://letopisi.org/index.php/Logo_in_Russia}}</ref>
Semenov initiated and led in cooperation with Sergey Soprunov the project of Logo-style learning environment for pre-literacy pre-numeracy children, recogized by S. Papert in his book "The Connected Family"<ref>{{Cite book |last1=Papert |first1=S. |title=The Connected Family: Bridging the Digital Generation Gap |location=Atlanta, Ga. |publisher=Longstreet Press |date=1996 |url=https://archive.org/details/connectedfamilyb00pape/mode/2up]}}</ref><ref>{{Cite web |last1=Alexandrov |first1=K. |last2=Soprunov |first2=S. |last3=Yakovleva |first3=E. |title=Logo for the Illiterate Programmers |url=https://eurologo.web.elte.hu/lectures/kirill.htm}}</ref><ref>{{Cite web |title=ПервоЛого. Онлайн-практикум (PervoLogo. Online workshop) |language=ru |url=http://pl-edu.ru/}}</ref><ref>{{Cite web |title=Пособия УМК «ПервоЛого 4.0» (Manuals of the educational and methodological complex 'PervoLogo 4.0') |language=ru |url=https://www.int-edu.ru/content/posobiya-umk-pervologo-40}}</ref>.

In 2017–2019 by invitation of [[German Gref]] he designed and partly implemented a system of resultative (personalized competence-based) education for Russian schools.

In 2019 Alexei Semenov organized a 3 year Program «Fundamental Scientific Support for the Digitalization of General Education» in Russian Foundation for Fundamental Research<ref>{{Cite journal |title=Вестник РФФИ. Тематический блок: Цифровая трансформация школы (Vestnik RFBR. Thematic block: Digital Transformation of the School) |language=ru |url=https://www.rfbr.ru/rffi/ru/bulletin/o_2128693 |website=www.rfbr.ru}}</ref>. As a result of the expert selection, 62 teams from 12 regions of Russia received financial support. "Charter for the Digital Way of School"<ref>{{Cite web |title=Charter for the Digital Way of School |url=https://rffi.1sept.ru/document/charter |access-date=2023-01-01 |website=rffi.1sept.ru |language=ru}}</ref> (2021) is one of the outcomes created as part of the work on the program  as a result of a dialogue between the participants of the Program and other prominent figures of Russian education.

In 2021 he started a Master's Program at Lomonosov Moscow State University on AI and Digital Technologies. In 2022 he reorganized the basic undergraduate course on Mathematical logic and theory of algorithms as a copletely problem-solvibg course in the style of [[Paul Halmos]].

In 2022 Alexei Semenov became the leader of compiling the New Russian Mathematical Encyclopedia as a source for digital [[Great Russian Encyclopedia]], where he became a vice-chairman.

In 2022-23 he initiated a project of primary school meta-subject "Future World". In all school subjects students are introduced to the future by doing its pieces now in such modules like "Introduction" (children to each other, to the teacher, the tablet, and network), "Organization" (keeping myself in time), "Communication" (video-aidio-text, as recording the first memory of the eldest in the family), etc.


=== Awards and Honours ===
=== Awards and Honours ===

Revision as of 20:10, 4 January 2023

Alexei Semenov
File:Alexei Semenov.jpg
Born (1950-10-13) October 13, 1950 (age 74)
Moscow, USSR
Citizenship Soviet Union
 Russia
EducationFull Member RAS (2011)
Alma materMoscow State University (1972)
AwardsPrize of the President of RF (1997) Kolmogorov Prize UNESCO Prize (2009) Prize of the Government of RF (2009) Honored Worker of Higher Education of the Russian Federation (2005) Order of Friendship (2010) Order of Honour (2016)
Scientific career
FieldsMathematical logic
InstitutionsLomonosov Moscow State University
Axel Berg Institute of Cybernetics and Educational Computing
FRC CSC RAS
Moscow State Pedagogical University
Institute of Education, HSE University
Moscow Institute of Physics and Technology
Herzen University
Moscow City University
Doctoral advisorAlbert Muchnik
Doctoral studentsAlexei Lisitsa, Andrey Muchnik, Yuri Pritykin, Tatyana Starikovskaya, Vladimir Vovk

Alexei (also Aleksei, Alexey, Aleksey) L. Semenov (also Semyonov, Semёnov) (Russian: Алексей Львович Семенов; born 1950) is a Russian mathematician, educationalist, Academician of the Russian Academy of Sciences, Academician of the Russian Academy of Education, Head of the Department of Mathematical Logic and Theory of Algorithms, Lomonosov State University, Professor, Dr. Sc.

File:Вручение красных дипломов студентам МПГУ.jpg
Presentation of honors diplomas to students of Moscow State Pedagogical University
August 12, 2015

Early Life and Education

Alexei Semenov was born in 1950 in Moscow to a family of electronic and computer engineers. He graduated from Moscow school No. 7 and the Faculty of Mechanics and Mathematics of Lomonosov Moscow State University (1972). He completed Candidate of Sciences in Physics and Mathematics degree (Moscow State University, 1975, scientific advisor ― Albert Muchnik, dissertation «On definability in some decidable theories»), Doctor of Sciences in Physics and Mathematics degree (Steklov Institute of Mathematics, 1984, dissertation «Logical Theories of One-place Functions on Integers»).

Career and Research

Semenov conducted his research in the field of mathematical logic, cybernetics, theoretical computer science, artificial intelligence, education.

Mathematics

His major field in mathematical logic is definability theory[1]. He is known for his decidability results[2][3] Cobham – Semenov Theorem[4] symbolic dynamics applications[5] lattices of definability descriptions[6][7]. His student Andrey Muchnik solved Michael Rabin problem, posed at International Congress of Mathematicians in Nice[8][9]. Muchnik and Semenov solved[10] a problem of Andrey Kolmogorov from his work originated descriptive complexity theory[11]. He contributed also to the foundations of the theory of algorithms and theory of randomness[12][13][14][15].

Among other his students are Alexei Lisitsa, Yuri Pritykin, Tatyana Starikovskaya and Vladimir Vovk.

Computing and AI

Semenov started work in practical computing at age 14 in cooperation with his mother, specifically in speech recognition[16] in the group of Dmitry Pospelov. He participated in the last Soviet attempt to construct a supercomputer in 1986[17]. In the last years he developed a concept of individual extended by digital instruments and media[18]. The concept elaborates vision of Lev Vygotsky[19], Josef M. Feigenberg[20], Sherry Turkle[21], Andy Clark [22] and Michel Serres [23] to the educational context of mass school.

Education: Theory and Implementation

Semenov’s theoretical and practical work in education originated in his involvement as a student, and later, as a teacher in the Konstantinov’s math schools[24]. His educational philosophy is rooted in “learning-by-doing (mathematics ao)” of Robert Lee Moore[25] and Paul Halmos[26] and Russian mathematical circles[25] constructionist approach of Seymour Papert[27] see also[28] of London Knowledge Lab.

His approach to learning and teaching  math and computer science in primary school is based on Inquiry-based learning, mathematical experimenting by learners, language development, emphasizing visual (on screen and paper) and palpable (manipulatives, moving objects) environments of strings, bags, tables, games, and robots as the basis for all math, including, but not limited by, numerical (arithmetic); priority of solving problems-not-known-how-to-solve over drill-and-practice, using computer for all routine tasks[29][30][31][32][33][34][35][36][37].

In 1985 he was the organizer and co-author of the first computer science textbook for all Soviet schools (editor and co-author – academician A. P. Ershov)[38]. Later he was the leader of the authors' teams for textbooks in mathematics and computer science for primary and secondary schools[39][40].

In 1987 he originated a not-for-profit Institute of New Technologies (INT) that introduced the constructionist philosophy into Russian schools and started cooperation of INT and other Russian educators with Papert group at MIT[41], Blagovest Sendov, Robert Tinker, group at TERC, LCSI, Key Curriculum Press. So INT produced Russian adaptations, learning and teachong materials for Logo, educational LEGO, Geometer’s Sketchpad, etc.[42] Semenov initiated and led in cooperation with Sergey Soprunov the project of Logo-style learning environment for pre-literacy pre-numeracy children, recogized by S. Papert in his book "The Connected Family"[43][44][45][46].

In 2017–2019 by invitation of German Gref he designed and partly implemented a system of resultative (personalized competence-based) education for Russian schools.

In 2019 Alexei Semenov organized a 3 year Program «Fundamental Scientific Support for the Digitalization of General Education» in Russian Foundation for Fundamental Research[47]. As a result of the expert selection, 62 teams from 12 regions of Russia received financial support. "Charter for the Digital Way of School"[48] (2021) is one of the outcomes created as part of the work on the program  as a result of a dialogue between the participants of the Program and other prominent figures of Russian education.

In 2021 he started a Master's Program at Lomonosov Moscow State University on AI and Digital Technologies. In 2022 he reorganized the basic undergraduate course on Mathematical logic and theory of algorithms as a copletely problem-solvibg course in the style of Paul Halmos.

In 2022 Alexei Semenov became the leader of compiling the New Russian Mathematical Encyclopedia as a source for digital Great Russian Encyclopedia, where he became a vice-chairman.

In 2022-23 he initiated a project of primary school meta-subject "Future World". In all school subjects students are introduced to the future by doing its pieces now in such modules like "Introduction" (children to each other, to the teacher, the tablet, and network), "Organization" (keeping myself in time), "Communication" (video-aidio-text, as recording the first memory of the eldest in the family), etc.

Awards and Honours

  • Academician of the Russian Academy of Sciences in the Division of Mathematical Sciences (since 2011).
  • Academician of the Russian Academy of Education (since 2010).
  • Laureate of the President of the Russian Federation in the field of education Prize in 1998, headed the team for the development and implementation of a comprehensive program for informatization of education in the Moscow region[49].
  • RF Government Prize in the field of education in 2009 for the development of the project «Informatization of the education system of the Russian Federation». The prize was awarded by the order of the Government of the Russian Federation of 28.08.2009 No. 1246-r[50].
  • A.N. Kolmogorov Prize Laureate for outstanding achievements in the field of mathematics for the series of works «On the refinement of A.N. Kolmogorov, related to the theory of chance»[51].
  • Gratitude of the President of the Russian Federation in 2012 for the achieved labor successes and long-term conscientious work by the Order of the President of the Russian Federation dated 03.05.2012 No. 213-rp[52].
  • Medal «In Commemoration of the 850th Anniversary of Moscow». Awarded to Alexei Semenov in 1997 for his significant contribution to the development of the city of Moscow. The medal to commemorate the 850th anniversary of Moscow was approved by the Decree of the President of the Russian Federation on February 26, 1997.
  • Badge «Honorary Worker of General Education of the Russian Federation» Awarded in 2000 for achievements in the field of education in Russia.
  • UNESCO - King Hamad Bin Isa Al-Khalifa Prize, in 2009 for the application of information and communication technologies in education[53].
  • Order of Friendship in 2010 for the achieved labor success and long-term fruitful work by the Decree of the President of the Russian Federation of May 15, 2010 No. 609 "On rewarding with state awards of the Russian Federation"[54].
  • Order of Honor in 2016 for achievements in the development of science, education, training of qualified specialists and many years of fruitful work by Presidential Decree No. 359 dated July 28, 2016[55].
  • Honorary title «Honored Worker of Higher School of the Russian Federation» in 2005 Decree of the President of the Russian Federation of February 5. Certificate for state award No. 172788[56].

Personal life

His wife is E. I. Bulin–Sokolova, a graduate of the Moscow State University, an educator, Doctor of pedagogical Sciences. Children: with Galina Sheina: Maria Possitselskaya (1974) – teacher, author of math textbooks for elementary school, Daria Semenova (1979) – singer, teacher, author of music textbooks, with Tatiana Rudchenko: Mikhail Semenov (1992) – startup entrepreneur, with E. I. Bulin-Sokolova: Marfa Bulin-Sokolova (1994) –  architectural designer, Fedor Bulin-Sokolov (1995) – financial analyst, Anna Semenova (1999) – psychologist, Nikolay Semenov (2001) – photographer, Andrey Semenov (2004) – fashion model and software developer, Ivan Semenov – high school student. Grandchildren: Alexandra Semenova – linguist, Ekaterina Possitselsky – molecular biologist, Dmitry, Anastasiya, Grigory, Timothey, Kirill – students, Olga – preschool.

A big role in the life of A. L. Semenov was played by a meeting in 1979 with Jana Ryšlinková and subsequent relations with her.

References

  1. ^ Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir (2014). "The Lattice of Definability. Origins, Recent Developments, and Further Directions". Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia. CSR 2014, Moscow, Russia, June 7–11, 2014. Proceedings. Lecture Notes in Computer Science. 8476. Cham: Springer International Publishing: 23–38. doi:10.1007/978-3-319-06686-8_3. ISBN 978-3-319-06686-8.
  2. ^ Semenov, A. L. (1980-04-30). "On Certain Extensions of the Arithmetic of Addition of Natural Numbers". Mathematics of the USSR-Izvestiya. 15 (2): 401. doi:10.1070/IM1980v015n02ABEH001252. ISSN 0025-5726.
  3. ^ Semënov, A. L. (1984-06-30). "Logical Theories of One-place Functions on the Set of Natural Numbers". Mathematics of the USSR-Izvestiya. 22 (3): 587–618. doi:10.1070/im1984v022n03abeh001456. ISSN 0025-5726.
  4. ^ Semenov, A. L. (1977-03-01). "Presburgerness of Predicates Regular in Two Number Systems". Siberian Mathematical Journal. 18 (2): 289–300. doi:10.1007/BF00967164. ISSN 1573-9260.
  5. ^ Muchnik, Andrei A.; Pritykin, Yurii L.; Semenov, Aleksei L. (2009-10-31). "Sequences Close to Periodic". Russian Mathematical Surveys. 64 (5): 805–871. doi:10.1070/rm2009v064n05abeh004641. ISSN 0036-0279.
  6. ^ Semenov, A. L.; Soprunov, S. F. (2021-12-01). "Lattice of Definability (of Reducts) for Integers with Successor". Izvestiya: Mathematics. 85 (6): 1257–1269. doi:10.1070/im9107. ISSN 1064-5632.
  7. ^ Semenov, Alexei; Soprunov, Sergei (January 2022). "Automorphisms and Definability (of Reducts) for Upward Complete Structures". Mathematics. 10 (20): 3748. doi:10.3390/math10203748. ISSN 2227-7390.{{cite journal}}: CS1 maint: unflagged free DOI (link)
  8. ^ Muchnik, An. A. (1992). Games on Infinite Trees and Automata with Dead-ends. A New Proof for the Decidability of the Monadic Second Order Theory of Two Successors (PDF). Vol. 48. pp. 220–267. {{cite book}}: |work= ignored (help)
  9. ^ Semenov, A. L. (1984). "Decidability of Monadic Theories". Mathematical Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science. 176. Berlin, Heidelberg: Springer: 162–175. doi:10.1007/BFb0030296. ISBN 978-3-540-38929-3.
  10. ^ Muchnik, An. A.; Semenov, A. L. (2003-01-01). "On the Role of the Law of Large Numbers in the Theory of Randomness". Problems of Information Transmission. 39 (1): 119–147. doi:10.1023/A:1023638717091. ISSN 1608-3253.
  11. ^ Kolmogorov, A. N. (1993), "On Tables of Random Numbers", Selected Works of A. N. Kolmogorov: Volume III: Information Theory and the Theory of Algorithms, Dordrecht: Springer Netherlands, pp. 176–183, doi:10.1007/978-94-017-2973-4_9, ISBN 978-94-017-2973-4, retrieved 2023-01-01
  12. ^ Uspensky, V. A.; Semenov, A. L. (1981). "What are the Gains of the Theory of Algorithms: Basic Developments Connected with the Concept of Algorithm and with Its Applications in Mathematics". Algorithms in Modern Mathematics and Computer Science, Urgench, Uzbek SSR, September 16 – 22, 1979. Proceedings. Lecture Notes of Computer Science. 122. Berlin, Heidelberg: Springer: 100–234. doi:10.1007/3-540-11157-3_27. ISBN 978-3-540-38621-6.
  13. ^ Uspensky, V. A.; Semenov, A. L. (1993). "Algorithms: Main Ideas and Applications". Mathematics and its Applications. 251. Dordrecht: Kluwer Academic Publishers: 269. doi:10.1007/978-94-015-8232-2.
  14. ^ Uspenskii, V A; Semenov, A L; Shen', A. Kh. (1990-02-28). "Can an Individual Sequence of Zeros and Ones be Random?". Russian Mathematical Surveys. 45 (1): 121–189. doi:10.1070/rm1990v045n01abeh002321. ISSN 0036-0279.
  15. ^ Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. (1998-11-06). "Mathematical Metaphysics of Randomness". Theoretical Computer Science. 207 (2): 263–317. doi:10.1016/S0304-3975(98)00069-3. ISSN 0304-3975.
  16. ^ Семенова Е. Т. (1965). Способ кодирования (распознавания) смысловой информации устной речи (in Russian).
  17. ^ Семенов, А. Л.; Сопрунов, С. Ф. (1985). "О языке комбинаторно-логического процессора". Сб. Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики. 117. Научный совет по комплексной проблеме «Кибернетика» АН СССР: 182–191.
  18. ^ А. Л. Семенов, К. Е. Зискин (2022). Расширенная личность как основной субъект и предмет философского анализа. Следствия для образования (PDF). М.: Юридический центр. pp. 172–200. {{cite book}}: |journal= ignored (help)
  19. ^ Vygotsky, L. S. (1930). "The Instrumental Method in Psychology by Vygotsky". www.marxists.org. Retrieved 2023-01-01.
  20. ^ Фейгенберг, И. М. (2011). Человек Достроенный и этика. Цивилизация как этап развития жизни Земли. М.: ООО «Медицинское информационное агентство». p. 128.
  21. ^ Sherry, Turkle (2005). The Second Self: Computers and the Human Spirit. Twentieth Anniversary Edition. Cambridge, Massachusetts London, England: The MIT Press. p. 372. Retrieved 2023-01-01.
  22. ^ Clark, A. (2003). Natural-Born Cyborgs: Minds, Technologies, and the Future of Human Intelligence. Oxford Univ. Press. p. 229.
  23. ^ Michel, Serres (2012). Petite Poucette (in French). Paris: Éditions Le Pommier. Retrieved 2023-01-01.
  24. ^ Константинов, Н. Н.; Семенов, А. Л. (2021-04-07). "Результативное образование в математической школе". Чебышёвский сборник (in Russian). 22 (1): 413–446. doi:10.22405/2226-8383-2021-22-1-413-446. ISSN 2226-8383.
  25. ^ a b Traylor, Reginald D.; Bane, William; Jones, Madeline (1972). Creative Teaching: Heritage of R. L. Moore (PDF). Houston, Texas: University of Houston. p. 478.
  26. ^ Halmos, P. R.; Moise, E. E.; Piranian, George (1975). "The Problem of Learning to Teach". The American Mathematical Monthly. 82 (5): 466–476. doi:10.2307/2319737. ISSN 0002-9890.
  27. ^ Papert, Seymour (1980). Mindstorms : children, computers, and powerful ideas. Internet Archive. New York : Basic Books. ISBN 978-0-465-04627-0.
  28. ^ Noss, Richard; Hoyles, Celia (2017), "Constructionism and Microworlds", Technology Enhanced Learning: Research Themes, Cham: Springer International Publishing, pp. 29–35, doi:10.1007/978-3-319-02600-8_3, ISBN 978-3-319-02600-8, retrieved 2023-01-01
  29. ^ Prof. A. Semenov's personal page. "Современный курс математики и информатики в школе. Часть 1 (Modern Course of Mathematics and Informatics at School. Part 1)" (in Russian).
  30. ^ Prof. A. Semenov's personal page. "Современный курс математики и информатики в школе. Часть 2 (Modern Course of Mathematics and Informatics at School. Part 2)" (in Russian).
  31. ^ Семенов, А.Л.; Атанасян, С. Л. (2014). "Формирование математической компетенции в основной школе (Formation of Mathematical Competence in Basic School)". «Наука и школа» (Science and School) (in Russian). 5: 7–12.
  32. ^ Semenov, A. L.; Muranov, A. A.; Polikarpov, S. A.; Bakhtina, E. U. (2022). "The Content and Methodology of Teaching Mathematics in Primary School in the Conditions of Digitalization". Continuum. Maths. Informatics. Education. 27 (3): 25–39. doi:10.24888/2500-1957-2022-3-25-39. ISSN 2500-1957.
  33. ^ Semenov, A.; Polikarpov, S. (2020). "Digital Transformation of School and the Role of Mathematics and Informatics within It. Problems and Paradoxes of Mathematics Education and their Digital Solution" (PDF). Proceedings of the 4th International Conference on Informatization of Education and E-learning Methodology: Digital Technologies in Education (IEELM-DTE 2020). Krasnoyarsk, Russia, October 6–9, 2020. CEUR Workshop Proceedings. 2770: 1–8.
  34. ^ Polikarpov, Sergei A.; Semenov, Alexei L. (2017). "Mathematics for the 21st Century School: The Russian Experience and International Prospects". Proceedings of the 13th International Congress on Mathematical Education. Cham: Springer International Publishing: 675–676. doi:10.1007/978-3-319-62597-3_101. ISBN 978-3-319-62597-3.
  35. ^ Semenov, Aleksey L. (2016). "Implementation of the Conceptual Framework for Russian Mathematical Education". Current Issues In Mathematics Education Materials Of The American-Russian Workshop - COMAP, November 18–20, 2016.
  36. ^ Firsov, Victor; Semenov, Alexey. "School Mathematics in Russia". «National Presentations: Russia», 10-th International Congress on Mathematical Education, Copenhagen, 2004.
  37. ^ Semenov, Alexei L. (2000). "Technology in Transforming Education". Communications and Networking in Education. Boston, MA, USA: Springer: 25–36. doi:10.1007/978-0-387-35499-6_29.
  38. ^ Ершов, А. П.; Кушниренко, А. Г.; Лебедев, Г. В.; Семенов, А. Л.; Шень, А. Х. (1988). Основы информатики и вычислительной техники. Пробный учебник для сред. учеб. заведений (Fundamentals of Informatics and Computer Engineering. Trial textbook for secondary schools) (in Russian). Moscow: "Prosveshchenie". ISBN 5-09-000593-1.
  39. ^ Prof. A. Semenov's personal page. "Development of Teaching Materials".
  40. ^ Prof. A. Semenov's personal page. "Educational and methodical complex «Informatics 3-4» part 1 (English translation)".
  41. ^ Papert, Seymour A. "In memory: Seymour Papert". MIT Media Lab. Retrieved 2023-01-01.
  42. ^ "Logo in Russia".
  43. ^ Papert, S. (1996). The Connected Family: Bridging the Digital Generation Gap. Atlanta, Ga.: Longstreet Press.
  44. ^ Alexandrov, K.; Soprunov, S.; Yakovleva, E. "Logo for the Illiterate Programmers".
  45. ^ "ПервоЛого. Онлайн-практикум (PervoLogo. Online workshop)" (in Russian).
  46. ^ "Пособия УМК «ПервоЛого 4.0» (Manuals of the educational and methodological complex 'PervoLogo 4.0')" (in Russian).
  47. ^ "Вестник РФФИ. Тематический блок: Цифровая трансформация школы (Vestnik RFBR. Thematic block: Digital Transformation of the School)". www.rfbr.ru (in Russian).
  48. ^ "Charter for the Digital Way of School". rffi.1sept.ru (in Russian). Retrieved 2023-01-01.
  49. ^ "Указ Президента Российской Федерации от 06.10.1998 г. № 1200". Президент России (in Russian). Retrieved 2023-01-02.
  50. ^ "Распоряжение Правительства РФ от 28.08.2009 N 1246-р". rulaws.ru. Retrieved 2023-01-02.
  51. ^ "Именные премии и медали". www.ras.ru. Retrieved 2023-01-02.
  52. ^ "Распоряжение Президента Российской Федерации от 03.05.2012 г. № 213-рп". Президент России (in Russian). Retrieved 2023-01-02.
  53. ^ "Laureates of the ICT in Education Prize | UNESCO". www.unesco.org. Retrieved 2023-01-02.
  54. ^ "Указ Президента Российской Федерации от 15.05.2010 г. № 609". Президент России (in Russian). Retrieved 2023-01-02.
  55. ^ "Указ Президента Российской Федерации от 28.07.2016 г. № 359". Президент России (in Russian). Retrieved 2023-01-02.
  56. ^ "Указ Президента РФ от 05.02.2005 N 128". rulaws.ru. Retrieved 2023-01-02.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Alexei_Semenov_(mathematician)&oldid=1131578162"