Профессиональный опыт Основной профессиональный опыт
- 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) диссертации по теме «Верификация параллельных программных систем численного моделирования на основе проверка модели».
Научные интересыГосударственные проекты:
-
«РАЗРАБОТКА ИНТЕЛЛЕКТУАЛЬНОЙ ВЫСОКОПРОИЗВОДИТЕЛЬНОЙ ИНФОРМАЦИОННО-АНАЛИТИЧЕСКОЙ ПОИСКОВОЙ СИСТЕМЫ ОБРАБОТКИ СЛАБОСТРУКТУРИРОВАННЫХ ДАННЫХ»
-
«МОДЕРНИЗАЦИЯ ИНФОРМАЦИОННОЙ СИСТЕМЫ АНАЛИЗА РАЗРАБОТКИ НЕФТЕГАЗОВЫХ МЕСТОРОЖДЕНИЙ ИСАР-II»
и т.д.
Студенческие и магистерские проекты:
- Разработка информационной системы для отслеживание автобусов предприятий (Arduino, Android, GPS).
- Разработка системы распознавания автомобильных государственных номеров для шлагбаум - 2-е место в республиканском конкурсе "Научно-исследовательская работа магистранта" (НИРМ).
и т.д.
Коммерческие проекты:
- http://tech-edu.kz - РОБОТОТЕХНИКА И ПРОГРАММИРОВАНИЕ для школьников и колледжистов г. Алматы
- https://play.google.com/store/apps/details?id=com.zholdas.arabiya2 - разработка мобильных приложений 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 - стр.
Открытое занятие