Biography:Alexey Semyonov (mathematician)

From HandWiki
Revision as of 10:24, 7 March 2023 by Len Stevenson (talk | contribs) (simplify)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Russian mathematician
Alexey Semyonov
Alexei Semenov.jpg
Born (1950-10-13) October 13, 1950 (age 73)
Citizenship Soviet Union
 Russia
EducationTemplate:RAS
Alma materMoscow State University (1984)
AwardsHonored Worker of Higher Education of the Russian Federation (2005) 16px
Scientific career
FieldsMathematical logic
InstitutionsMoscow State Pedagogical University
MSU Faculty of Mechanics and Mathematics
Doctoral advisorAlbert Muchnik

Alexey Semyonov (Russian: Алексей Львович Семёнов; born 1950) is a Russian mathematician, Academician of the Russian Academy of Sciences,[1] Rector of the Moscow State Pedagogical University,[2] Head of the Department of mathematical logic and theory of algorithms Lomonosov State University, Professor, Dr.Sc.[3]

Presentation of honors diplomas to students of Moscow State Pedagogical University
August 12, 2015

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

Specialist in the field of mathematical logic, cybernetics, 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 (1998).

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.

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.[4] In 2003 he recreated school No. 179 and returned the mathematician and teacher Nikolay Konstantinov to work there.

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

Editor-in-chief of the «Kvant magazine» (2012–2018). Editor-in-chief of the journal «Reports of the Russian Academy of Sciences. Mathematics, informatics, management processes» (from 2021).

Member of the Russian Academy of Sciences[5] in the Department of Mathematical Sciences (since 2011), Academician of the Russian Academy of Education[5](since 2010).

Author of over 400 scientific papers in mathematics, computer science and education.[6][7][8][9][10][11][12][13]

References

External links