Дебора Джозеф - Deborah Joseph

Дебора А. Джозеф американский ученый-компьютерщик, известный своими исследованиями в вычислительная геометрия, вычислительная биология, и теория сложности вычислений. Она является почетным профессором информатики в Университет Висконсина-Мэдисона.^[1]

Образование и карьера

Джозеф окончил Хирам Колледж в 1976 г. по специальности междисциплинарная экология.^[2]Она получила докторскую степень. в 1981 г. Университет Пердью. Ее диссертация, О силе формальных систем для анализа поведения программ с линейным и полиномиальным временемРуководил Полом Р. Янгом.^[3]

В Висконсине Джозеф получил Президентская премия молодому исследователю из Национальный фонд науки. Она также была активным членом Совета по информатике и телекоммуникациям Национальный исследовательский совет.^[2]

Избранные публикации

• Иосиф, Девора; Янг, Пол (1985), «Некоторые замечания о функциях-свидетелях для неполиномиальных и неполных множеств в NP», Теоретическая информатика, 39 (2–3): 225–237, Дои:10.1016/0304-3975(85)90140-9, МИСТЕР  0821203. Эта статья знакомит с kтворческие наборы, которые являются потенциальным контрпримером к Гипотеза Бермана – Хартманиса.
• Хопкрофт, Джон; Иосиф, Девора; Уайтсайдс, Сью (1985), "О движении манипуляторов роботов в двухмерных ограниченных областях", SIAM Журнал по вычислениям, 14 (2): 315–333, Дои:10.1137/0214025, МИСТЕР  0784740, S2CID  16477060. Расширенная версия статьи от 23-го Симпозиум по основам информатики (FOCS 1982).
• Иосиф, Девора; Мейданис, Жоао; Тивари, Прасун (1992), «Определение сходства последовательностей ДНК с использованием алгоритмов максимального независимого набора для интервальных графов», Теория алгоритмов - SWAT '92: третий скандинавский семинар по теории алгоритмов, Хельсинки, Финляндия, 8–10 июля 1992 г., Труды, Конспект лекций по информатике, 621, Берлин: Springer, стр. 326–337, Дои:10.1007/3-540-55706-7_29, МИСТЕР  1249510.
• Альтхёфер, Инго; Дас, Гаутам; Добкин, Давид; Иосиф, Девора; Соарес, Хосе (1993), "О разреженных ключах взвешенных графов", Дискретная и вычислительная геометрия, 9 (1): 81–100, Дои:10.1007 / BF02189308, МИСТЕР  1184695. Расширенная версия статьи от 2-го Скандинавский семинар по теории алгоритмов (SWAT 1990), в котором Джозеф и ее соавторы обнаруживают жадные геометрические гаечные ключи.

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