Anadan olduğu yer | Azərbaycan Respublikası, Quba rayonu, Hacıqayıb kəndi | |
Təvəllüdü | 09.03.1959 | |
Bitirdiyi ali təhsil müəssisəsi | S.M.Kirov adına Azərbaycan Dövlət Universiteti, Tətbiqi Riyaziyyat fakültəsi, riyaziyyatçı ixtisası üzrə (1976-1981) | |
Elmi dərəcəsi | Texnika üzrə fəlsəfə doktoru | |
Elmi rütbəsi | ||
Namizədlik (PhD) dissertasiyasının mövzusu: - ixtisas şifri və adı - mövzunun adı | - 05.13.01 - Sistemli analiz, idarəetmə və informasiyanın işlənməsi - Proqramların, onların idarəetmə qrafları üzərində əvvəlcədən seçilmiş yollar üzrə testləşdirilməsi | |
Doktorluq dissertasiyasının mövzusu: - ixtisas şifri və adı - mövzunun adı | - | |
Müxbir üzv seçildiyi tarix və ixtisasın adı | - | |
Həqiqi üzv seçildiyi tarix və ixtisasın adı | - | |
Çapdan çıxmış elmi əsərlərinin ümumi sayı: | 18 | |
- Xaricdə çıxmış elmi əsərlərinin sayı | 12 | |
- Respublikada çıxmış elmi əsərlərinin sayı | - | |
- Konfrans məruzələri və tezislər sayı | - | |
Müəlliflik şəhadətnamələrinin və patentlərin sayı | - | |
Kadr hazırlığı: - fəlsəfə doktorlarının sayı - elmlər doktorlarının sayı | - | |
Əsas elmi nailiyyətləri | Proqramın idarəetmə qrafı üzərində seçilmiş yolların testləşdirilməsi üçün test nümunlərinin generasiyası üzrə effektiv alqoritmlər hazırlamışdır | |
Əsas elmi əsərlərinin adları | 1. Метод автоматизированной генерации тестовых данных. Рига, Тез. докл. Всесоюзной Конференции «Тестирование, верификация и отладка», Том 1, 1986 2. Отладка программ путем их целенаправленного тестирования и верификации. Киев. Проблемы разработки и внедрения программного обеспечения ЭВМ и систем. Киев: ИК АН УССР, 1988. 3. Применение символьного выполнения для обеспечения структурной корректности программ. Киев, Тез. докл. VIII Всесоюзного семинара Параллельное программирование и высокопроизводительные структуры (Алушта, 26-30 сентября 1988 г.). ИК АН УССР. 1988. 4. ТЕСТОР-ФОРТРАН-система тестирования заранее заданных путей управляющего графа программы. Киев, Журнал УСиМ, №5, 1990. 5. Комбинированный подход к тестированию программ. Винница. Материалы II Международной Конференции «Интернет-Образование-Наука-2000». Винницкий ГТУ, Винница, 10-12 октября 2000. 6. О безопасности передачи данных в распределенных информационных сетях. Известия НАНА сер. Физ.техн. и мат. наук, т.ХХI, «Информатика и проблемы управления», 2001, №2, с.21-25. 7. Методы тестирования объектно- ориентированных программ. Баку. Вестник Бакинского Университета, Физико-математические науки, серия №1, 2002. 8. Автоматизированная генерация тестовых данных для некоторого класса программных единиц. Воронеж, Прикладные проблемы образовательной деятельности. Межвузовский сборник научных трудов, выпуск 8 - Воронеж: Центрально черноземное книжное издательство, 2002. 9. The Object-oriented Testing Strategy in the System TESTER-OOL. Vinnitsia, Ukraine, Proceedings of the Third International Conference Intemet-Education-Science (IES-2002). 8-12 October 2002, Vinnitsia-Ukraine. Vol.2. 10. Эвристические алгоритмы целенаправленного поиска тестовых данных для проверки программ. Баку, Труды Республиканской научной конференции «Современные проблемы информатизации, кибернетики и информационных технологий»(Баку, 28-30апреля 2003 года). Том 1, 2003. 11. Эффективные алгоритмы поиска тестовых данных для проверки программ. Воронеж, Сборник трудов по итогам VIII Международной открытой научной конференции «Современные проблемы информатизации в технике и технологиях», выпуск 8, Центрально-Черноземное книжное издательство. Воронеж-2003. 12. Structural Testing Principles of Object-Oriented Programs. Romania, Advances in Electrical and Computer Engineering. University of Suchava. Vol. 3, No. 9. 2003. 13. Семантический подход к символьному выполнению путей в С++ программе: денотационная семантика. Воронеж. Международный сборник трудов «Системы управления и информационные технологии», Выпуск 10.-Воронеж: Изд- во «Научная книга», декабрь, 2003. 14. Эффективные алгоритмы поиска тестовых данных для проверки программ. Материалы 8-й Республиканской конференции «Современные проблемы информатизации, техники и технологий», 8 издание, Воронеж, Россия, 2003. 15. Символьное выполнение путей в С++ программах. Воронеж, Сб. трудов «Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях, Выпуск 9.- Воронеж: Изд-во «Научная книга», 2004. 16. Sığortaolunanların fərdi uçot sistemində ikili hesabların müəyyən edilməsi metodu. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013. 17. Müasir informasiya sistemlərinin yaradılması və tətbiqi prosesinin bəzi aspektləri. “AMEA-nın xəbərləri” jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013. | |
Elmi qurumlarda üzvlüyü | - | |
Pedaqoji fəaliyyəti | 2000-ci ildən 2014-cü ilədək BDU-nun Tətbiqi Riyaziyyat fakultəsində mühazirə və məşğələlər aparmışdır. | |
Digər fəaliyyəti | SINAM şirkətinin Layihələr üzrə direktor müavini – 2004-cü ildən hazırkı anadək | |
Təltif və mükafatları | - | |
İş yeri və ünvanı | AMEA İdarəetmə Sistemləri İnstitutu, AZ1141, Azərbaycan Respublikası, Bakı ş., B.Vahabzadə küç., 68 | |
Vəzifəsi | Böyük elmi işçi | |
Xidməti telefon | (+994 12) 510 11 00 (131) | |
Mobil telefon | (+994 50) 222 55 62 | |
Faks | (+994 12) 497 51 96 | |
Elektron poçt | [email protected] | |
Veb sayt |
-
03.05.2024
ED 1.20 Dissertasiya şurasının iclasında dissertasiya işinin müdafiəsi keçiriləcək -
30.04.2024
İdarəetmə Sistemləri İnstitutunda Elmi seminar keçiriləcək -
23.04.2024
İnformasiya Texnologiyaları və Onların Tətbiqi üzrə 2-ci beynəlxalq konfrans (ITTA 2024) keçiriləcək -
22.04.2024
İdarəetmə Sistemləri İnstitutunda 2024-cü ilin may ayında ixtisas fənləri üzrə fəlsəfə doktoru imtahanları və fərq imtahanları keçiriləcək