Басты бет Оқытушылар Бектемесов Аманжол Тохтямович

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


Қауымдастырылған профессор
«Бағдарламалық инженерия» кафедрасы

PhD

email: a.bektemessov@metu.kz



Кәсіби тәжірибе

Негізгі кәсіби тәжірибе

  • 01.09.2004 - 01.03.2008, әл-Фараби атындағы Қазақ Ұлттық университетінің Математика және механика ғылыми-зерттеу институты, кіші және ғылыми қызметкер
  • 03.06.2007 - 08.08.2010, «Алатау-Софт» ЖШС, бағдарламашы-әзірлеуші
  • 01.09.2008 - 01.08.2010, әл-Фараби атындағы ҚазҰУ Математика және механика ғылыми-зерттеу институты, аға және жетекші ғылыми қызметкер
  • 01.09.2010 - 01.07.2017, Қазақ ұлттық университетінің Математика және механика ғылыми-зерттеу институты. Әл-Фараби, зертхана бөлімінің меңгерушісі, жетекші ғылыми қызметкер
  • 01.09.2010 - 30.06.2011, «Информатика» ҚазҰУ ат. әл-Фараби, оқытушының көмекшісі
  • 01.09.2012 - 26.12.2014, қазіргі уақытқа дейін әл-Фараби атындағы ҚазҰУ информатика кафедрасының аға оқытушысы,
  • 01.08.2017 - 01.06.2019 Тұран университеті ақпараттық технологиялар кафедрасының меңгерушісі.
  • 01.08.2021 – қазіргі кезде Қазақстан инженерлік-технологиялық университеті «Информатика, автоматика және телекоммуникациялар» кафедрасының меңгерушісі.

Біліктілікті арттыру

  • Австрия, Вена: 02.2012-07.2012 Оқу 1 семестр (Вена техникалық университеті, модельді тексеру, компьютерлік тексеру, гибридті жүйелер) Сертификат
  • Австрия, Вена: 13.08.2012-25.08.2012 «TEMPUS-CANDI жобасының мүшелеріне берілетін дағдыларды оқыту сессиясы» (Вена техникалық университеті, Project Tempus) Сертификат (36 сағат)
  • Ресей, Псков: 26-28.04.2013 «PERCo жүйелері мен жабдықтары» (PERCo оқу орталығы) сертификаты
  • Германия, Мюнхен: 22.10.2013-11.12.2013 «Электрондық оқыту және қайта даярлау үшін оқыту құзыреттілігі және инфрақұрылымы» (CANDI жобасына сәйкес) Сертификат
  • Қазақстан, Алматы: 07.12.2015-27.04.2016 «Ағылшын тілі курсы» Орта деңгей (әл-Фараби атындағы ҚазҰУ) Сертификат (72 сағат)
  • Түркия, Анкара: 15.09.2018-28.09.2018 Кванттық компьютерлер (Гази университеті) сертификатынан хаос жойылуы мүмкін бе (72 сағат)
  • Қазақстан, Алматы: 14.10.2019-11.11.2019 Бағдарламалық құралды тексеру (әл-Фараби атындағы ҚазҰУ) сертификаты (72 сағат)
  • Қазақстан, Алматы: 06.01.2020-31.01.2020 Бағдарламалық жасақтаманы әзірлеудің заманауи технологиялары (KazRENA, IIAT) Сертификат (72 сағат)

АТ әзірлеу және бағдарламалау тәжірибесі

  • Мобильді қосымшаларды әзірлеу, Kotlin (Cross Platform Application), Автоматтандыру және жүйелерді басқару, C++, Python, Java және т.б.
  • Алматыдағы мектептер мен колледждер үшін онлайн оқыту платформасы әзірленді http://tech-edu.kz/.
  • Тұран университетінің автобустарын (Arduino, Android, GPS) қадағалау үшін ақпараттық жүйе әзірленді.
  • 01.03.2020 - 25.03.2020, пандемия және карантин кезеңінде Алматы қаласы Білім басқармасымен бірлесіп Алматы, Балапан кенттері үшін бейнелекциялар мен бейне сабақтар топтамасын ұйымдастырып, жасауға атсалысты. және Yelarna арналары.
  • Оның роботтар мен дрондарды жасау тәжірибесі бар.
Білімі

2000 - 2004 О.А. Жәутіков атындағы Республикалық мамандандырылған физика-математика мектеп-интернаты.. Математикалық талдау, программалау.

2004 - 2008 әл-Фараби атындағы Қазақ ұлттық университеті. "050602 - Информатика" мамандығы бойынша бакалавр академиялық дәрежесі.

2008 - 2010 әл-Фараби атындағы Қазақ ұлттық университеті. "6N0602 - Информатика" мамандығы бойынша жаратылыстану ғылымдарының магистрі.

2010 - 2014 Вена техникалық университеті(Австрия) және әл-Фараби атындағы Қазақ ұлттық университеті . "6D060200 - Информатика" мамандығы бойынша докторы (PhD).

2015 - әл-Фараби атындағы Қазақ ұлттық университеті. Докторлық (PhD) диссертация қорғады, тақырыбы: «Модельді верификация негізінде сандық модельдеудің параллельді бағдарламалық жүйелерін тексеру».

Ғылыми қызығушылықтары

Мемлекеттік жобалар:

  1. «ТӨМЕН ҚҰРЫЛЫМДЫ ДЕРЕКТЕРДІ ӨҢДЕУ ҮШІН ЗИЯТТЫ ЖОҒАРЫ ТИІМДІ АҚПАРАТТЫҚ-АНАЛИТИКАЛЫҚ ІЗДЕУ ЖҮЙЕСІН ДАМЫТУ»
  2. «ИСАР-ІІ МҰНАЙ ЖӘНЕ ГАЗ КЕНДЕРІН ИГЕРУДІ ТАЛДАУДЫҢ АҚПАРАТТЫҚ ЖҮЙЕСІН ҚҰРУ»

және т.б.

Студенттік және магистрлік жобалар:

  1. Кәсіпорындардың автобустарын қадағалаудың ақпараттық жүйесін әзірлеу (Arduino, Android, GPS).
  2. Шлагбаумға автомобильдің мемлекеттік нөмірлерін тану жүйесін әзірлеу – «Магистранттың ғылыми-зерттеу жұмысы» (МҒЗЖ) республикалық конкурсында 2-орын .

және т.б.

Коммерциялық жобалар:

  1. http://tech-edu.kz - Алматы қ.
  2. GoglePlay - 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 - стр. 
Оқылатын пәндер


Сабақ кестесі

Ашық сабақтар