Шарипбаев Алтынбек Амирович
Лауреат Государственной премии Республики Казахстан в области науки, техники и образования 2001 года, академик Международной академии информатизации и Академии педагогических наук Республики Казахстан.
Алтынбек Шарипбаев родился 16 июня 1952 г. в селе Джамбул Нарынкольского района Алма-Атинской области в семье учителя начальной школы Амира Алинбаевича Шарипбаева, В 1969 г. Алтынбек окончил Чиенскую среднюю школу Джамбулского района и поступил на первый курс механико-математического факультета КазГУ им. С.М. Кирова. В 1972 г. в связи с открытием факультета прикладной математики продолжил учебу по специализации «Математическое обеспечение ЭВМ». 14 июня 1974 г. защитил дипломную работу на тему «Об одном приближенном решении первой краевой задачи для уравнений теплопроводности» под руководством К.А. Касымова.
Алтынбек Амирович трудовую деятельность начал программистом в КазГУ. В 1975-1981 гг. он - стажер-исследователь, аспирант МГУ им. М.В. Ломоносова по специальности «Математическое и программное обеспечение вычислительных машин, систем и сетей».
В 1981-1988 гг. А.А. Шарипбаев - ассистент, доцент, заведующий кафедрой КазГУ, затем обучался французскому языку на курсах для преподавателей вузов Московского института иностранных языков им. М. Тореза и в 1990 г. стал стажером университета Поль Валерий во Франции. В 1992-1997 гг. он - заведующий лабораторией Института проблем информатики и управления НАН РК, в 1997-1998 гг. - заведующий кафедрой в КазГАУ им. Т. Рыскулова, в 1998-2000 гг. - директор Центра информационных технологий и с 2000 года по настоящее время профессор ЕНУ им. Л.Н. Гумилева.
Ученым формализованы семантики продукционных и логических языков программирования, разработаны методы и алгоритмы верификации программных и аппаратных средств. На основании этих исследований в 1982 г. А.А. Шарипбаев защитил кандидатскую диссертацию на тему «Частичная верификация программ на языке символьного процессора» и в 1996 г. - докторскую диссертацию на тему «Верификация программных и аппаратных средств вычислительных машин и систем».
А.А. Шарипбаев в области информатики является основоположником научной школы в Казахстане по искусственному интеллекту, системному программированию и информационным технологиям, в течение 20-ти лет был единственным кандидатом и доктором наук по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и сетей». Его научные результаты были внедрены в крупных научных центрах СССР: в 1976-1981 гг. - «Транслятор с языка имитации космических систем» в Летно-испытательском институте, Жуковск; в 1988-1989 гг. - «Система верификации цифровых схем» в Научно-производственном центре, Зелиноград; в 1990-1991 гг. «Система параллельного программирования для многопроцессорного вычислительного комплекса» в Международном научно-исследовательском центре электронной вычислительной техники, Москва.
В области искусственного интеллекта и компьютерной лингвистики создана математическая теория казахского языка, разработаны алгоритмы анализа и синтеза слов и предложений казахского языка. Научные результаты этих работ были применены в 2002-2006 гг. для создания «Электронных учебных изданий для автоматизации обучения по казах- скому языку», «Системы дистанционного обучения государственных служащих казахскому языку» и других компьютерных программ, внедренных в МОН РК, МКИ РК, КТЖ. Было получено более 10 свидетельств о государственной регистрации интеллектуальной собственности.
В области информационных технологий ученым созданы и внедрены автоматизированные системы в различных организациях Республики Казахстан. В частности, «Автоматизированная депозитарная система ценных бумаг» в Департаменте государственного имущества города Алматы и акционерных обществах; «Автоматизированная система учета коммунальных платежей» в горжилкомхозе и кооперативах собственников квартир города Алматы; «Автоматизированная система выбора» в акимате Бостандыкского района города Алматы; «Автоматизированная информационная база счетного комитета» в Счетном комитете РК; «Автоматизация системы создания электронных учебных изданий» в Министерстве образования и науки РК.
A.А. Шарипбаев опубликовал более 200 научных трудов, издал 6 учебных пособий, 2 монографии и 4 словаря. Среди них: «Справочник по ценным бумагам Республики Казахстан» (1995), «Доказательство правильности программных и аппаратных средств компьютеров» (1996), «Толковый словарь по информатике и компьютерной технике (2002). Ученый участвовал в разработке многих государственных стандартов: 10 - в области информационных технологий, 2 - по казахскому языку, 9 - вобласти образования.
A.А. Шарипбаев был заместителем председателя и с 2007 года - председателем диссертационного совета Д 14.61.01 по защите докторских диссертаций по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей. Подготовил 5 докторов и 8 кандидатов наук по группе специальностей «Информатика, вычислительная техника и управление».
В 2001 г. А.А. Шарипбаев стал лауреатом Государственной премии Республики Казахстан в области науки, техники и образования за «31-томную серию научных отраслевых казахско-русских и русско- казахских терминологических словарей».
A.А. Шарипбаев награжден медалью за заслуги в развитии науки Республики Казахстан (2003), обладатель гранта «Лучший преподаватель вуза» (2005, 2011).