Институт математики и математического моделирования

Краткая биография

Бектур Сембиевич родился 12 июля 1951 года в городе Алма-Ате.

Б. С. Байжанов — выпускник Казахского государственного университета имени С. М. Кирова (Каз-ГУ, 1968–1973), после окончания университета служил офицером в Советской Армии (1973–1975). Дипломная работа «О неавтоустойчивости абсолютно свободных алгебр с бесконечным числом порождающих» была выполнена под руководством СНС Института математики Хисамиева Назифа Гарифуллиновича. В 1976 года поступил в аспирантуру Академии наук Казахской ССР к академику Тайманову Асану Дабысовичу и под его руководством получил первые научные результаты в теории моделей (1976–1980).

В 1981 году в Диссертационном совете Института математики Сибирского Отделения АН СССР защитил кандидатскую диссертацию по специальности «01.01.06 — Математическая логика, алгебра и теория чисел» по теме «Спектральные вопросы тотально трансцендентных теорий конечного ранга».

В 2008 Бектур Сембиевич защитил диссертацию на соискание ученой степени доктора физико-математических наук по теме «Обогащение моделей стабильных и слабо о-минимальных теорий» по специальности «01.01.06 — Математическая логика, алгебра и теория чисел» в Диссертационном совете мехмата Казахского национального университета имени аль Фараби (КазНУ).

Педагогическая деятельность. Б. С. Байжанов работал в КазГУ с декабря 1979 на кафедре алгебры и математической логики в должности ассистента, старшего преподавателя, доцента (1979–1998). С 2012 по настоящее время является профессором (по совместительству) на кафедре фундаментальной и прикладной математики КазНУ. Был заместителем декана математического факультета КазГУ с 1988 года по 1991.

С 1984 года по 1987 год был командирован Министерством высших учебных заведений СССР в Буркина Фасо (бывшая Верхняя Вольта) для работы профессором математики Университета в г. Уагадугу.

С 2001 года по настоящее время работает профессором университета имени Сулеймана Демиреля (СДУ).

Производственная деятельность. С 1992 года по 1994 год работал начальником Отдела внешних связей Президиума Национальной Академии Наук РК. С 1994 года работал в должности ведущего научного сотрудника, с 1996 года заве-дующим лабораторией в Институте проблем информатики и управления, кото-рый в 2004 году стал дочерним предприятием Центра физико-математических исследований МОН РК. С момента образования Центра в 2004 года по настоящее время (в 2006 г. переименован в РГП «Институт математики, информатики и механики», в 2010 г. переименован в «Институт математики и математического моделирования») Б. С. Байжанов работает заместителем генерального директора.

В 2010 году в течение 6 месяцев исполнял обязанности председателя Комитета науки МОН РК. В 2009 году награжден нагрудным знаком Министерства образования и науки РК «За заслуги в развитии науки в Республике Казахстан». В 2009 году был приглашенным докладчиком на 11 Азиатской конференции по математической логике. В 2013 году избран членом-корреспондентом Национальной Академии наук РК.

Научно-организационная деятельность. Имеет более 80 опубликованных научных работ, среди них три публикации в международном журнале “The Journal of Symbolic Logic” (2001, 2004, 2005). Под его руководством было защищено две кандидатские диссертации в Ташкенте и Новосибирске, две докторские диссертации в Алматы и одна диссертация доктора философии. Байжанов Б. С. является членом Международной ассоциации символической логики с 2001 года.

Б. С. Байжанов являлся членом организационного комитета четырех Франко-Казахских коллоквиумов по Теории Моделей (Караганда, 1990; Мар-сель, 1992; Алматы, 1994; Марсель, 1997), X (последней) Всесоюзной Конферен-ции по Математической Логике, Алма-Ата, 1990 и ученым секретарем Республиканской Межвузовской конференции по Математике и Механике, Алма-Ата, 1989.

Б. С. Байжанов вместе с Крисом Джорджем (Chris George) из Международного института программной инженерии университета ООН (UNU/IIST) являлся организатором и лектором двух Международных летних школ «Формальные методы и информационные технологии», которые проходили на базе Института проблем информатики и управления МОН РК при поддержке Международного института программных технологий Университета ООН в 2002 и 2004 гг.

Международные гранты. Б. С. Байжанов совместно с Вилфридом Ходжесом (Wilfrid Hodges) и Евгением Палютиным в 1993 году получили грант Европейского Содружества Grant INTAS-93-3547 «Combinatorial problems of Model Theory».

Кроме того, он обладатель гранта Королевского научного общества Великобритании, по которому он выступил с докладами в Лондонском Университете, Университетах Оксфорда и Лидса (весна 2001), и гранта Национального научного центра Франции CNRS (France) (осень 1989) по теории моделей (сокоординаторы: Б. Пуаза, Б. Байжанов, Е. Палютин) в рамках Программы сотрудничества между Государственным комитетом науки и техники СССР и Национальным центром научных исследований Франции (CNRS, France).

Вместе со своими тремя учениками (Бейбутом Кулпешовым, Виктором Вербовским, Романом Арефьевым) и профессором Джоном Балдвиным (США) дважды выигрывал грант на 2 года Американского фонда гражданских исследований Award KM2246 CRDF (2001) и Award KM22 KZM1–2620–AL-04 (2004).

Научные интересы Бектура Сембиевича лежат в теории моделей полных теорий, в частности, рассматривались такие вопросы для различных классов ста-бильных и упорядоченных полных теорий, как: функции спектра полных теорий, теория пар моделей и координатизируемость, обогащение моделей, определимость типов и консервативные расширения моделей, число счетных моделей для упорядоченных полных теорий.

Kazakh Mathematical Journal

Краткая биография

НОВОСТИ