Шарипбаев, Алтынбек Амирович

Формализованы семантики продукционных и логических языков программирования, разработаны методы и алгоритмы верификации программных и аппаратных средств.
Научные результаты были внедрены в крупные научные центры СССР:

• 1976-1981 гг. - «Транслятор с языка имитации космических систем» в Летно-испытательском институте, г. Жуковск.
• 1988-1989 гг. - «Система верификации цифровых схем» в Научно-производственном центре г. Зеленоград.
• 1990-1991 гг. - «Система параллельного программирования для многопроцессорного вычислительного комплекса» в Международном научно-исследовательском центре электронной вычислительной техники, г. Москва.

Является основоположником научной школы по искусственному интеллекту, системному программированию и информационным технологиям в Казахстане. [1]
Шарипбаев вместе со своими учениками впервые разработали математическую теорию казахского языка, где обоснованы и формализованы фонетические закономерности, морфологические и синтаксические правила, построены алгоритмы анализа и синтеза слов и предложения, а также алгоритмы распознавания речи. Разработал математические модели грамматических правил казахского языка для автоматизации анализа и синтеза письменной и устной речи, технологию интеллектуальной обучающей системы, интеллектуальную систему защиты информации. [6]
Научные результаты были применены в 2002-2006 гг. для создания «Электронных учебных изданий для автоматизации обучения по казахскому языку», «Системы дистанционного обучения государственных служащих казахскому языку» и других компьютерных программ, внедренных в Министерстве культуры и информации, Министерстве образования и науки РК, АО «Казахстан Темир Жолы».

Созданы и внедрены автоматизированные системы в различных организациях Республики Казахстан:

• 1992-1994 гг. - «Автоматизированная депозитарная система ценных бумаг» в Департаменте государственного имущества г. Алматы.
• 1994-1998 гг. - «Автоматизированная система учета коммунальных платежей» в горжилкомхоз и кооперативы собственников квартир г. Алматы.
• 1997-1998 годы - «Автоматизированная система выбора» в акимате Бостандыкского района г. Алматы.
• 2003-2005 гг. - «Автоматизированная информационная база счетного комитета» в Счетном комитете РК.
• 2003-2005 гг. - «Автоматизация система создания электронных учебных изданий» в Министерстве образования и науки РК и нескольких высших учебных заведениях.

С 2001 г. - председатель Технического комитета № 41 по стандартизации в области автоматизации и информатизации при ЕНУ им. Л.Н. Гумилева.
С 2007 г. - председатель диссертационного совета по защите докторских диссертаций по специальностям «05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
С 2008 г. - председатель диссертационного совета Д. 14.61.01 по защите докторских диссертаций по специальностям «05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», «05.02.23 – Стандартизация и управление качеством продукции». [7]