Валентина Харизанова - Valentina Harizanov

Валентина Харизанова
НациональностьСербско-американский
Альма-матерУниверситет Висконсина, Мэдисон, Белградский университет
ИзвестенИсследования в теория вычислимости
НаградыПремия Оскара и Шошаны Трахтенбергов за факультетскую стипендию (2016 г.)
Научная карьера
ПоляМатематика, Теория вычислимости
УчрежденияУниверситет Джорджа Вашингтона
ТезисСпектр степеней рекурсивного отношения на рекурсивной структуре (1987)
ДокторантТерри Миллар

Валентина Харизанова это Сербско-американский математик и профессор математики в Университет Джорджа Вашингтона. Ее основной исследовательский вклад теория вычислимых структур (примерно на пересечении теория вычислимости и теория моделей ), где она ввела понятие спектров степеней отношений на вычислимых структурах и получила первые значимые результаты о несчетных, счетных и конечных Степень Тьюринга спектры.[1] Ее недавние интересы включают теория алгоритмического обучения и пространства порядков на группах.

Образование

Она получила степень бакалавра математических наук в 1978 г. Белградский университет и ее доктор философии. по математике в 1987 г. Университет Висконсина-Мэдисона под руководством Терри Миллар.[2][3]

Карьера

В Университете Джорджа Вашингтона Харизанов был доцент математики с 1987 по 1993 гг. Доцент с 1994 по 2002 гг., профессор математики с 2003 г. по настоящее время. посещая профессора позиции, одна в 1994 г. Университет Мэриленда, Колледж-Парк и один в 2014 году в Исследовательском центре Курта Гёделя на Венский университет.[3]

С 2011 года Харизанов является одним из руководителей Центра квантовых вычислений, информации, логики и топологии в Университете Джорджа Вашингтона.[3]

Исследование

В 2009 году Харизанов получил грант от Национальный фонд науки исследовать взаимосвязь алгебраических, топологических и алгоритмических свойств математических структур.[4]

Награды и отличия

Харизанов получил премию Оскара и Шошана Трахтенберг за стипендию факультета Университета Джорджа Вашингтона (GWU) в 2016 году.[5]Эта награда ежегодно вручается постоянный Член факультета GWU отмечает выдающиеся научные достижения.[6]

Публикации

Харизанов имеет более 40 публикаций в рецензируемый журналы, в том числе

  • ПРОТИВ. Харизанов, «Некоторые эффекты Эш-Нероде и других условий разрешимости на спектры степеней» Анналы чистой и прикладной логики 55 (1), стр. 51–65 (1991), цитируется 21 раз, согласно Web of Science

Кроме того, она опубликовала следующий обзорный документ размером с книгу и в соавторстве редактировала книгу:

  • ПРОТИВ. Харизанов, “Чистая теория вычислимых моделей”, в томе: Справочник по рекурсивной математике, т. 1, Ю.Л. Ершов, С.С. Гончаров, А. Нероде, Дж. Б. Реммель, редакторы (Северная Голландия, Амстердам, 1998 г.), стр. 3–114.
  • М. Друг, Н. Б. Гете, В.С. Харизанов, Индукция, теория алгоритмического обучения и философия, Серия: Логика, эпистемология и единство науки, т. 9, Springer, Dordrecht, 304 стр., 2007.

Спектры степеней отношений введены и впервые изучены в диссертации Харизанова: Спектр степеней рекурсивного отношения на рекурсивной структуре(1987).[1]

Рекомендации

  1. ^ а б Харизанов, В. (1987). «Спектр степеней рекурсивного отношения на рекурсивной структуре». Кандидат наук. Диссертация, Университет Висконсин – Мэдисон.
  2. ^ Валентина Харизанова на Проект "Математическая генеалогия"
  3. ^ а б c "Биографическая справка Валентины Харизановой" (PDF). Университет Джорджа Вашингтона. Получено 15 января 2018.
  4. ^ "Резюме премии № 0904101: Темы по вычислительной математике". Национальный фонд науки. Получено 15 января 2018.
  5. ^ «Лауреаты премии Trachtenberg Research». Университет Джорджа Вашингтона. Получено 15 января 2018.
  6. ^ «Премия Оскара и Шошаны Трахтенберг за факультетскую стипендию (исследования)». Университет Джорджа Вашингтона. Получено 15 января 2018.

внешняя ссылка