Кәсіби тәжірибе Негізгі кәсіби тәжірибе
- 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) диссертация қорғады, тақырыбы: «Модельді верификация негізінде сандық модельдеудің параллельді бағдарламалық жүйелерін тексеру».
Ғылыми қызығушылықтарыМемлекеттік жобалар:
- «ТӨМЕН ҚҰРЫЛЫМДЫ ДЕРЕКТЕРДІ ӨҢДЕУ ҮШІН ЗИЯТТЫ ЖОҒАРЫ ТИІМДІ АҚПАРАТТЫҚ-АНАЛИТИКАЛЫҚ ІЗДЕУ ЖҮЙЕСІН ДАМЫТУ»
- «ИСАР-ІІ МҰНАЙ ЖӘНЕ ГАЗ КЕНДЕРІН ИГЕРУДІ ТАЛДАУДЫҢ АҚПАРАТТЫҚ ЖҮЙЕСІН ҚҰРУ»
және т.б.
Студенттік және магистрлік жобалар:
- Кәсіпорындардың автобустарын қадағалаудың ақпараттық жүйесін әзірлеу (Arduino, Android, GPS).
- Шлагбаумға автомобильдің мемлекеттік нөмірлерін тану жүйесін әзірлеу – «Магистранттың ғылыми-зерттеу жұмысы» (МҒЗЖ) республикалық конкурсында 2-орын .
және т.б.
Коммерциялық жобалар:
- http://tech-edu.kz - Алматы қ.
- GoglePlay - iOS, Android мобильді қосымшаларын әзірлеу "Мұғалім Сәни"
- http://steam-online.kz/ - РОБОТОТЕХНИКА ЖӘНЕ БАҒДАРЛАМАЛАУ мектеп және колледж оқушыларына арналған онлайн оқу платформасы
және т.б.
ЖарияланымдарМерзімді басылымдарда:
- Жумагулов Б.Т., Данаев Н.Т., Ахмед-Заки Д.Ж., Маткерим Б., Бектемесов А.Т. Модернизация информационной системы анализа разработки нефтегазовых месторождений ИСАР-II. // Вестник НИА РК. Алматы – 2013. – С. 14-20.
- Ахмед-Заки Д.Ж., Бектемесов А.Т. Модели параллельных программ и их верификация при использовании транзакционной памяти. // Вестник НИА РК. Алматы – 2014. – С. 30-35.
- Ахмед-Заки Д.Ж., Бектемесов А.Т. Симмуляция распределенных программ при использовании транзакционной памяти // Вестник КазНУ. Алматы – 2014. – С. 26-33.
- Бектемесов А.Т. Ақпараттарды үлкен көлемді құжаттардан BDD әдісімен іздеу // Вестник КазНПУ. Алматы, 3(51), 2015, С. 201-205
- Бектемесов А.Т., Бурлибаев А.Ж., Илялетдинов Ф.А. Распределенные алгоритмы и их верификация с помощью Byzantine model checker // Вестник КазНУ. Алматы, 4(92), 2016, С. 70-80.
- Бектемесов А.Т. Имитационные моделирование и анализ современных алгоритмов балансировки нагрузки/ 2017, С. 276-283
- Бектемесов А.Т., ЗубайраевТ.Н., Тусупов К.А. Разработка мобильного приложения для получения доступа к базе данных. Вестинк “КазНПУ” 2019, и т.д.
Конференция материалдарында:
- Данаев Н.Т., Ахмед-Заки Д.Ж., Бектемесов А.Т. О верификации протокола передачи данных W.C. Lynch. // Актуальные проблемы современной математики, информатики и механики – II. - международная конференция. Алматы – 2011.
- 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).
- Бектемесов А.Т., Ахмед-Заки Д.Ж. Распределение и верификация моделей параллельных программ на базе mpi // XIV Международная конференция «Высокопроизводительные параллельные вычисления на кластерных системах», ПНИПУ, г. Пермь, Россия – 2014.
- Бектемесов А.Т. Компьютерлік программаларды spin верификаторында симуляциялау және верификациялау // Халықаралық ғылыми-практикалық конференция (международная научно-практическая конференция) «Мектепте және жоғары оқу орындарында математиканы, физиканы және информатиканы оқытуды жетілдіру мәселелері», Абай атындағы ҚазҰПУ, Алматы – 2014.
- Ахмед-Заки Д.Ж., Бектемесов А.Т. Распределение параллельных программ и их верификация при использовании транзакционной памяти // III-я Международная научно-практическая конференция «Состояние, проблемы и задачи информатизации в Казахстане», КазНТУ, Алматы – 2014.
- Бектемесов А.Т., Аубакиров С. Метод BDD для сложных поисковых систем // Международная конференция «Актуальные проблемы вычислительной и прикладной математики», г. Новосибирск, 2015, С. 77-78
- Бектемесов А.Т., Куатбаева А.А. 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.
- Айдаров К.А., Бектемесов А.Т., Балакаева Г.Т. Имитационное моделирование и анализ современных алгоритмов балансировки нагрузки // Международная конференция «Активные методы обучения», 23-24 ноября 2017 г., Алматы, КазНУ им. аль-Фараби совместно с университетом Нью-Касла (Великобритания).
- 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. и т.д.
- Бектемесов Аманжол ТохтямовичУсманова А.М. Нысанды нақты уақыт жүйесінде автоматты түрде бақылаудың ендірілген жүйесі 2020 г. 5 - стр.
Ашық сабақтар