Главная Преподаватели Бектемесов Аманжол Тохтямович

Бектемесов Аманжол Тохтямович


Ассоциированный профессор
Кафедра «Программная инженерия»

PhD

email: a.bektemessov@metu.kz



Профессиональный опыт

Основной профессиональный опыт

  • 09.01.2004 - 03.01.2008, НИИ математики и механики Казахского Национального университета имени аль-Фараби, младший и научный сотрудник
  • 06.03.2007 - 08.08.2010, ТОО Alatau-Soft, программист-разработчик
  • 09.01.2008 - 08.01.2010, НИИ математики и механики Казахского Национального университета имени аль-Фараби, старщий и ведущий научный сотрудник
  • 09.01.2010 - 07.01.2017, НИИ математики и механики Казахского Национального университета им. Аль-Фараби, заведующий кафедрой лаборатории, ведущий научный сотрудник
  • 09.01.2010 - 06.30.2011, «Информатика» КазНУ им. аль-Фараби, ассистент преподавателя
  • 09.01.2012 - 26.12.2014, по настоящее время старший преподаватель на кафедре «Информатика» КазНУ имени аль-Фараби,
  • 01.08.2017 - 01.06.2019 Заведующий кафедрой «Информационные технологии», университет «Туран».
  • 01.08.2021 -  по настоящее время Заведующий кафедрой «Вычислительная техника, автоматизация и телекоммуникации»,  Казасхтанский инженерно-техологический университет.

Повышение квалификации

  • Австрия, Вена: 02.2012-07.2012 Обучение 1 семестр (Technical University of Vienna, Model Checking, Computer Aided Verification, Hybrid Systems) Сертификат
  • Австрия, Вена: 13.08.2012-25.08.2012 "Transferable Skills Training Session for TEMPUS-CANDI Project Members" (Technical University of Vienna, Project Tempus) Сертификат (36 часов)
  • Россия, Псков: 26-28.04.2013 "Системы и оборудование PERCo" (Учебный центр PERCo) Сертификат
  • Германия, Мюнхен: 22.10.2013-12.11.2013  "Teaching competency and Infrastructure for e-Learning and Retraining" (по проекту CANDI) Сертификат
  • Казахстан, Алматы: 07.12.2015-27.04.2016 "English language course" Intermediate level (КазНУ им. аль-Фараби) Сертификат (72 часов)
  • Турция, Анкара: 15.09.2018-28.09.2018 Can Chaos be Eliminated from the Quantum Computers (Gazi University) Сертификат (72 часов)
  • Казахстан, Алматы: 14.10.2019-11.11.2019 Верификация программного обеспечения (КазНУ им. аль-Фараби) Сертификат (72 часов)
  • Казахстан, Алматы: 06.01.2020-31.01.2020 Современные технологии разработки программного обеспечения (КазРЕНА, ИИАТ) Сертификат (72 часов)

Опыт в сфере IT разработки и программирования

  • Разработка мобильных приложении, Kotlin (Кроссплатформенное приложение), автоматизация и управление системами, C++, Python, Java и т.д.
  • Разработана онлайн обучающая платформа для школ и колледжов г. Алматы http://tech-edu.kz/.
  • Разработана информационная система для отслеживания автобусов университета "Туран" (Arduino, Android, GPS). 
  • 01.03.2020 – 25.03.2020 в период пандемии и карантина совместно с управлением образования города Алматы организовал и сам участвовал в создании серии видео-лекций и видео-уроков для канала Алматы, Балапан и Еларна.
  • Имеет опыт по разработке роботов и дронов.
Образование

2000 - 2004 Республиканская специализированная физико-математическая школа-интернат им. О.А. Жаутыкова. Математический анализ, программирование.

2004 - 2008 Казахский Национальный университета имени аль-Фараби. Бакалавриат по специальности «050602 – Информатика».

2008 - 2010 Казахский Национальный университета имени аль-Фараби. Магистр естественных наук по специальности "6N0602 - Информатика".

2010 - 2014 Венский технический университет (Австрия) и Казахский национальный университет им. аль-Фараби. Доктор(PhD) по специальности «6D060200 - Информатика» .

2015 - Казахский Национальный университета имени аль-Фараби. Защита докторской (PhD) диссертации по теме «Верификация параллельных программных систем численного моделирования на основе проверка модели».

Научные интересы

Государственные проекты:

  1. «РАЗРАБОТКА ИНТЕЛЛЕКТУАЛЬНОЙ ВЫСОКОПРОИЗВОДИТЕЛЬНОЙ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ПОИСКОВОЙ СИСТЕМЫ ОБРАБОТКИ СЛАБОСТРУКТУРИРОВАННЫХ ДАННЫХ»

  2. «МОДЕРНИЗАЦИЯ ИНФОРМАЦИОННОЙ СИСТЕМЫ АНАЛИЗА РАЗРАБОТКИ НЕФТЕГАЗОВЫХ МЕСТОРОЖДЕНИЙ ИСАР-II»

и т.д.

Студенческие и магистерские проекты: 

  1. Разработка информационной системы для отслеживание автобусов предприятий (Arduino, Android, GPS). 
  2. Разработка системы распознавания автомобильных государственных номеров для шлагбаум -  2-е место в республиканском конкурсе "Научно-исследовательская работа магистранта" (НИРМ).

и т.д.

Коммерческие проекты: 

  1. http://tech-edu.kz - РОБОТОТЕХНИКА И ПРОГРАММИРОВАНИЕ для школьников и колледжистов г. Алматы
  2. https://play.google.com/store/apps/details?id=com.zholdas.arabiya2  - разработка мобильных приложений iOS, Android "Муғалим сани"
  3. http://steam-online.kz/ - РОБОТОТЕХНИКА И ПРОГРАММИРОВАНИЕ онлайн учебная платформа для школьников и колледжистов

и т.д.



Публикации

В периодических изданиях:

  1. Жумагулов Б.Т., Данаев Н.Т., Ахмед-Заки Д.Ж., Маткерим Б., Бектемесов А.Т. Модернизация информационной системы анализа разработки нефтегазовых месторождений ИСАР-II. // Вестник НИА РК. Алматы – 2013. – С. 14-20.
  2. Ахмед-Заки Д.Ж., Бектемесов А.Т. Модели параллельных программ и их верификация при использовании транзакционной памяти. // Вестник НИА РК. Алматы – 2014.  – С. 30-35.
  3. Ахмед-Заки Д.Ж., Бектемесов А.Т. Симмуляция распределенных программ при использовании транзакционной памяти // Вестник КазНУ. Алматы – 2014.  – С. 26-33.
  4. Бектемесов А.Т. Ақпараттарды үлкен көлемді құжаттардан BDD әдісімен іздеу // Вестник КазНПУ. Алматы, 3(51), 2015, С. 201-205
  5. Бектемесов А.Т., Бурлибаев А.Ж., Илялетдинов Ф.А.  Распределенные алгоритмы и их верификация с помощью Byzantine model checker // Вестник КазНУ. Алматы, 4(92), 2016, С. 70-80.
  6. Бектемесов А.Т. Имитационные моделирование и анализ современных алгоритмов балансировки нагрузки/ 2017, С. 276-283
  7. Бектемесов А.Т., ЗубайраевТ.Н., Тусупов К.А. Разработка мобильного приложения для получения доступа к базе данных. Вестинк “КазНПУ” 2019, и т.д.

В материалах конференций:

  1. Данаев Н.Т., Ахмед-Заки Д.Ж., Бектемесов А.Т. О верификации протокола передачи данных W.C. Lynch. // Актуальные проблемы современной математики, информатики и механики – II. - международная конференция.  Алматы – 2011.
  2. Akhmed-Zaki D., Danaev N., Matkerim B. Design of Distributed Parallel Computing Using by MapReduce/MPI Technology. // Parallel Computing Technologies 12th International Conference, PaCT 2013. St. Petersburg, Russia. – 2013 (Scopus).
  3. Бектемесов А.Т., Ахмед-Заки Д.Ж. Распределение и верификация моделей параллельных программ на базе mpi // XIV Международная конференция «Высокопроизводительные параллельные вычисления на кластерных системах», ПНИПУ, г. Пермь, Россия – 2014.
  4. Бектемесов А.Т. Компьютерлік программаларды spin верификаторында симуляциялау және верификациялау // Халықаралық ғылыми-практикалық конференция (международная научно-практическая конференция) «Мектепте және жоғары оқу орындарында математиканы, физиканы және информатиканы оқытуды жетілдіру мәселелері», Абай атындағы ҚазҰПУ, Алматы – 2014.
  5. Ахмед-Заки Д.Ж., Бектемесов А.Т. Распределение параллельных программ и их верификация при использовании транзакционной памяти // III-я Международная научно-практическая конференция «Состояние, проблемы и задачи информатизации в Казахстане», КазНТУ, Алматы – 2014.
  6. Бектемесов А.Т., Аубакиров С. Метод BDD для сложных поисковых систем // Международная конференция «Актуальные проблемы вычислительной и прикладной математики», г. Новосибирск, 2015, С. 77-78
  7. Бектемесов А.Т., Куатбаева А.А. Using of model checking for combining tasks // International Conference "Inverse Problems in Finance, Economics and Life Sciences", Almaty, Kazakhstan, al-Farabi KazNU, December 26-28, 2017.
  8. Айдаров К.А., Бектемесов А.Т., Балакаева Г.Т. Имитационное моделирование и анализ современных алгоритмов балансировки нагрузки // Международная конференция «Активные методы обучения», 23-24 ноября 2017 г., Алматы, КазНУ им. аль-Фараби совместно с университетом Нью-Касла (Великобритания).
  9. Bektemessov A.T., Kuatbayeva A.A., Kossynbay Y.B., Abdiyev K.S., Dosanalieva A. Project training method as graduate research activity development tool // II Международная научная конференция «Информатика и прикладная математика» ИИВТ КН МОН РК и КазНУ им. аль-Фараби, 2018. и т.д.
  10. Бектемесов Аманжол ТохтямовичУсманова А.М. Нысанды нақты уақыт жүйесінде автоматты түрде бақылаудың ендірілген жүйесі 2020 г. 5 - стр. 
Преподаваемые дисциплины


Расписание занятий

Открытое занятие