Кэтлин Фишер
Кэтлин Шанахан Фишер | |
|---|---|
 | |
| Национальность | Американский |
| Альма-матер | Стэнфордский университет |
| Известный | Язык программирования Моби |
| Награды | Член ACM |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Лаборатории AT&T Университет Тафтса |
| Докторантура | Джон С. Митчелл |
Кэтлин Шанахан Фишер — американский учёный-компьютерщик , специализирующийся на языках программирования и их реализации.
Профессор Фишер — заведующий кафедрой компьютерных наук в Университете Тафтса и один из авторов языка описания данных PADS и экспериментального языка параллельного программирования Moby. [1] В прошлом она была председателем специальной группы ACM по языкам программирования ( SIGPLAN ) и председательствовала на трех их крупных конференциях ICFP в 2004 году. [2] УОПЛА в 2011 году, [3] и PLDI в 2019 году. [4] Она стала соучредителем серии семинаров по обучению языкам программирования (PLMW) SIGPLAN с целью увеличения числа женщин и недостаточно представленных меньшинств в информатике, а также в течение трех лет была сопредседателем комитета Ассоциации компьютерных исследований по положению женщин. [5] В 2010 году она была избрана членом Ассоциации вычислительной техники «за вклад в разработку, теорию и практику языков программирования, а также за служение компьютерному сообществу». [6] Она также является членом Попечительского совета колледжа Харви Мадда .
Ранняя жизнь и образование
[ редактировать ]Фишер родился в 1969 году в Сан-Марино, Калифорния . Ее отец был профессиональным инвестором, а мать была домохозяйкой. Она окончила среднюю школу Сан-Марино, а затем поступила в Стэнфордский университет . [1] На первом курсе она решила пройти курс информатики, чтобы научиться пользоваться компьютером IBM PS/2 Model 60, который купил ей отец. [7] Заинтересовавшись материалом, она пошла на другой урок и столкнулась с проблемой остановки . Доказательство, лежащее в ее основе, оказалось простым, но элегантным, и этот опыт стал поворотным моментом в ее интересе к информатике. [7] В 1991 году она с отличием окончила Стэнфорд со степенью бакалавра наук в области математики и вычислительной техники и осталась в Стэнфорде для учебы в аспирантуре. [1] В 1996 году она получила степень доктора компьютерных наук под руководством доктора Джона К. Митчелла . [1] [8] Ее диссертация называлась «Системы типов для объектно-ориентированных языков». [9]
Карьера
[ редактировать ]Ранняя карьера
[ редактировать ]После окончания учебы Фишер начал работать в AT&T Labs Research . [1] В апреле 2002 года ее повысили до главного члена технического персонала. С июля 2008 года по март 2011 года она также работала профессором-консультантом по информатике в Стэнфорде. [1]
ДАРПА
[ редактировать ]В 2011 году она покинула AT&T Labs и стала менеджером программ в DARPA . В DARPA она основала и руководила программами «Высоконадежные кибервоенные системы» (HACMS) и « Вероятностное программирование для развития машинного обучения» (PPAML) . Программа HACMS была сосредоточена на использовании формальных методов для защиты военной техники от взлома. В программе использовалась красная команда хакеров, которая попыталась взломать квадрокоптер, полностью зная систему, используя любой метод, кроме физического соединения. Первоначально красной команде удалось быстро скомпрометировать квадрокоптер, но к концу программы им вообще не удалось взломать квадрокоптер. [10] Эта программа имела огромный успех и с тех пор была перенесена на более сложные аппараты, такие как беспилотная маленькая птица Boeing . [10] Фишер покинул DARPA в июле 2014 года, но продолжает возглавлять исследовательскую группу ISAT. [1]
Университет Тафтса
[ редактировать ]Параллельно с исследованиями в DARPA Фишер устроилась на работу профессором компьютерных наук в Университете Тафтса, где она до сих пор работает заведующим кафедрой. Ее текущие исследования сосредоточены на разработке предметно-ориентированных языков , синтезе программ и использовании формальных методов для защиты программного обеспечения. [5] В Тафтсе она преподавала языки программирования, а также проводила семинары по проектированию языков программирования. [5]
Почести и награды
[ редактировать ]Фишер получил множество наград, в том числе: [1]
- Член Американской ассоциации содействия развитию науки 2021 г. [11]
- Премия SIGPLAN за выдающиеся заслуги, 2013 г.
- Выдающийся доклад PLDI, 2012 г.
- Номинированный документ «Основные исследования SIGPLAN CACM», 2012 г.
- Премия PLDI за лучшую работу, 2011 г.
- Сотрудник ACM, 2010 г.
- Номинированный документ «Основные исследования SIGPLAN CACM», 2008 г.
- Заслуженный ученый ACM, 2007 г.
- Премия за лучшую исследовательскую работу, KDD, 2000 г.
- Стипендия для постдокторских исследований NSF по математическим наукам, 1996 г., отклонена.
- Постдокторская стипендия президента Калифорнийского университета в 1996 году была отклонена.
- Премия за заслуги перед студентами, Стэнфордский факультет компьютерных наук, 1995 г.
- Стипендия Фонда Герца, 1994–1996 годы.
- Стипендия Финча, 1993.
- Стипендия научных исследований NSF, 1991–1994 годы.
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г час Биографические данные , получено 6 февраля 2020 г.
- ^ «Международная конференция по функциональному программированию 2004: Информация» . www.icfpconference.org . Проверено 5 сентября 2019 г.
- ↑ Комитет OOPSLA. Архивировано 12 июня 2015 г. на Wayback Machine , получено 10 июня 2015 г.
- ^ «Оргкомитет – PLDI 2019» . pldi19.sigplan.org . Проверено 5 сентября 2019 г.
- ^ Jump up to: а б с Страница исследований , получено 6 февраля 2020 г.
- ^ [1] ACM Fellow Award Благодарность за награду , получено 10 июня 2015 г.
- ^ Jump up to: а б Интервью CRA , получено 6 февраля 2020 г.
- ^ Кэтлин Фишер в проекте «Математическая генеалогия»
- ^ Кандидатская диссертация , получено 6 февраля 2020 г.
- ^ Jump up to: а б Интервью Silver Bullets , получено 6 февраля 2020 г.
- ^ «Стипендиаты 2021 года» . Американская ассоциация содействия развитию науки . Проверено 28 января 2022 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Кэтлин Фишер , проиндексированные Google Scholar
- Живые люди
- Американские ученые-компьютерщики
- Американские женщины-компьютерщики
- Выпускники Стэнфордского университета
- Преподаватели Университета Тафтса
- Члены Ассоциации вычислительной техники 2010 г.
- Члены Американской ассоциации содействия развитию науки
- Американские женщины-ученые
- Американские женщины 21 века