СЕМЁНОВ АЛЕКСЕЙ ЛЬВОВИЧ

СЕМЁНОВ Алек­сей Льво­вич (р. 13.10.1950, Мо­ск­ва), рос. ма­те­ма­тик, акад. РАН (2011) и РАО (2010). По окон­ча­нии МГУ (1972) ра­бо­тал там же (проф. с 1998). С 1993 рек­тор Моск. ин-та от­кры­то­го об­ра­зо­ва­ния (до 2002 Моск. ин-т по­вы­ше­ния ква­ли­фи­ка­ции ра­бот­ни­ков об­ра­зо­ва­ния), с 2013 рек­тор Моск. пе­да­го­гич. гос. ун-та. С 2012 гл. ре­дак­тор ж. «Квант».

Осн. тру­ды по ма­те­ма­тич. ло­ги­ке, ки­бер­не­ти­ке, тео­ре­тич. ин­фор­ма­ти­ке. По­лу­чил важ­ные ре­зуль­та­ты в об­лас­ти фор­маль­ных грам­ма­тик, схем про­грамм и ди­на­мич. ло­гик, ре­ля­ци­он­ных ал­гебр, раз­ре­шаю­щих ал­го­рит­мов для ря­да ма­те­ма­тич. тео­рий. Ре­шил про­бле­му Кол­мо­го­ро­ва о точ­ной оцен­ке слож­но­сти тес­та на слу­чай­ность. Внёс су­ще­ст­вен­ный вклад в соз­да­ние ин­фор­мац. сис­тем об­ра­зо­ва­ния. Пр. им. А. Н. Кол­мо­го­ро­ва РАН (2006).