Alexei Semenov (mathematician)

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–2023 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.

In 2021 he started a Master's Program at 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 2019 Alexei Semenov organized a 3 year Program «Fundamental Scientific Support for the Digitalization of General Education» in Russian Foundation for Fundamental Research. As a result of the expert selection, 62 teams from 12 regions of Russia received financial support. "Charter for the Digital Way of School" (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.

Head of the Department of Mathematical Logic and Theory of Algorithms MSU Faculty of Mechanics and Mathematics (2018 – now).

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

Senior expert at the Institute of Education of Higher School of Economics (Moscow) (2017 – now).

Director of Axel Berg Institute of Cybernetics and Educational Computing FRC CSC Russian Academy of Sciences (2015 – now).

Rector of the Moscow State Pedagogical University (2013–2016) – the leading teacher-training institution in the country.

Editor-in-chief of the «Kvant magazine» (2012–2018). Editor-in-chief of the journal Doklady Mathematics (from 2021) served as invited editor to volumes of  Theoretical Computer Science and MDPI – Mathematics (2022, 2023), see List of MDPI academic journals.

In 2007–2009 he served as a member of the Executive Committee of the International Commission on Mathematical Instruction.

He was the national coordinator of Second Information Technology in Education Study: SITES 2006, member of International Task Force on Teachers for Education 2030, etc.

Rector of the Moscow Institute of Open Education (1993–2013) which was responsible for the professional development, in-service training, guidance and consulting of all 100,000 Moscow teachers. In 2003 he recreated School No. 179 and returned the mathematician and teacher Nikolay Konstantinov to work there.

In 1989 Alexei Semenov initiated and played a critical role in the return of international organization on technologies in education ORT (originated in StPetersburg in 1880) into USSR and Central Europe, serves as a member of Board of Trustees and co-chair of Academic Advisory Council of the organization.

In 1987 following his work in the Academy of Sciences 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's group at MIT Media Lab, Blagovest Sendov's Problem Group on Education at Bulgarian Academy of Sciences, Robert Tinker's group at TERC, LCSI, Key Curriculum Press. So INT produced Russian adaptations, learning and teaching materials for Logo, educational LEGO, Geometer’s Sketchpad, etc. 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".

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

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). Later he was the leader of the authors' teams for textbooks in mathematics and computer science for primary and secondary schools.

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.

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.

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.

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»).