Маранджян Грант Бабкенович — различия между версиями
Ssayadov (обсуждение | вклад) |
Vgabdulin (обсуждение | вклад) |
||
| Строка 19: | Строка 19: | ||
| дата смерти = | | дата смерти = | ||
| место смерти = | | место смерти = | ||
| − | | краткая информация = | + | | краткая информация = Специалист в области математической логики и информатики |
| тэг01 = Доктор физико-математических наук | | тэг01 = Доктор физико-математических наук | ||
| тэг02 = Действительный член РАЕН | | тэг02 = Действительный член РАЕН | ||
| тэг03 = профессор | | тэг03 = профессор | ||
| − | | тэг04 = член- | + | | тэг04 = член-корреспондент НАН РА |
| тэг05 = | | тэг05 = | ||
}} | }} | ||
| Строка 35: | Строка 35: | ||
Кандидат физико-математических наук (1971). Доктор физико-математических наук (1999). | Кандидат физико-математических наук (1971). Доктор физико-математических наук (1999). | ||
| − | Область научных интересов:математическая логика, теория рекурсии, теория сложности;степени алгоритмической неразрешимости, теория вероятностных автоматов, Булев синтез, автоматический анализ и синтез алгоритмов и программ, автоматический синтез и оптимизация компьютерных программ. | + | Область научных интересов: математическая логика, теория рекурсии, теория сложности; степени алгоритмической неразрешимости, теория вероятностных автоматов, Булев синтез, автоматический анализ и синтез алгоритмов и программ, автоматический синтез и оптимизация компьютерных программ. |
Подготовил 8 кандидатов наук. Разработал и читал широкий спектр спецкурсов по математической логике, теории рекурсии, теории сложности алгоритмов (в ЕрГУ, Арм.Инж.университете, Ирутском ГУ, Датском Техническом университете, Университетах Копенгагена и Оркса, Институте теоретической физики и математики Ирана). | Подготовил 8 кандидатов наук. Разработал и читал широкий спектр спецкурсов по математической логике, теории рекурсии, теории сложности алгоритмов (в ЕрГУ, Арм.Инж.университете, Ирутском ГУ, Датском Техническом университете, Университетах Копенгагена и Оркса, Институте теоретической физики и математики Ирана). | ||
| − | Зав. лаб. “Теория алгоритмов и автоматического | + | Зав. лаб. “Теория алгоритмов и автоматического синтеза программ” в ИАПИ НАН РА, SYNOPSYS ARMENIA CJSC. |
==Членство в научных обществах и организациях== | ==Членство в научных обществах и организациях== | ||
*Член Компьютерной ассоциации (1990), [[Армянского математического общества]] | *Член Компьютерной ассоциации (1990), [[Армянского математического общества]] | ||
Версия 07:51, 16 февраля 2011
| Маранджян Грант Бабкенович | |
| |
| Дата рождения: | 12.10.1939 |
| Место рождения: | Арзни, Арм.ССР |
| Краткая информация: Специалист в области математической логики и информатики | |
Содержание
Биография
Родился 12.10.1939г. в п.Арзни, Арм.ССР.
Окончил Ереванский политехнический институт по специальности "Компьютерная техника" (в 1963г.), работал там же инженером, старшим инженером (1963 -1965), учился в аспирантуре в Вычислительном центре АН Арм. ССР (1965-1968), затем работал в Институте проблем информатики и автоматизации АН Арм.ССР научным сотрудником (1969-1970), руководителем группы (1971-1972), старшим научным сотрудником (1973-1975), заведующим сектором (1975-1986), заместителем директора по науке (1986-1995).
С 1995г. - директор исследовательского отдела Лаборатории эвристической физики Армении - дочерней организации Heuristic Physics Laboratories Inc. (США).
Кандидат физико-математических наук (1971). Доктор физико-математических наук (1999).
Область научных интересов: математическая логика, теория рекурсии, теория сложности; степени алгоритмической неразрешимости, теория вероятностных автоматов, Булев синтез, автоматический анализ и синтез алгоритмов и программ, автоматический синтез и оптимизация компьютерных программ.
Подготовил 8 кандидатов наук. Разработал и читал широкий спектр спецкурсов по математической логике, теории рекурсии, теории сложности алгоритмов (в ЕрГУ, Арм.Инж.университете, Ирутском ГУ, Датском Техническом университете, Университетах Копенгагена и Оркса, Институте теоретической физики и математики Ирана).
Зав. лаб. “Теория алгоритмов и автоматического синтеза программ” в ИАПИ НАН РА, SYNOPSYS ARMENIA CJSC.
Членство в научных обществах и организациях
- Член Компьютерной ассоциации (1990), Армянского математического общества
- Член Европейской ассоциации теоретических компьютерных наук (1990)
- Association for Computing Machinery – профессиональный член
- American Mathematical Society – аффилированный член
- Член Европейской ассоциации компьютерной логики (1995)
- Член Издательского совета журнала "Наука и Техника"
- Рецензент журналов Zentralblatt fur Mathematik und ihre Grenzgebiete, Jornal of Scientific Computing
Сочинения
- Диссертация на соискание учёной степени Кандидат физико-математических наук - "Сложность кодирования натуральных чисел с помощью рекурсивных функций"
- Диссертация на соискание учёной степени Доктор физико-математических наук (1999. Ереван. Тема: "Объёмная сложность вычислимых объектов")
Автор более 40 научных статей и книг, и более 120 опубликованных рецензий.
Достижения
- Доктор физико-математических наук (1999)
- Действительный член РАЕН (1998)
- профессор (2003)
- член-корр. НАН РА (2010)
Библиография
Контакты
- hrant_marandjian@sci.am
