Математик и информатик: жизненный путь Летиции Блум

Введение

Американский учёный-компьютерщик и математик, член Американской ассоциации содействия науке (AAAS, 1979). Они переехали в Венесуэлу, когда Блюм было девять лет. После окончания венесуэльской средней школы в 16 лет она поступила в Технологический институт Карнеги (ныне Университет Карнеги — Меллона) на архитектурное отделение в 1959 году. С помощью Алана Перлиса она перешла на математическое отделение в 1960 году. Она вышла замуж за Мануэля Блума, тогда студента Массачусетского технологического института, и в 1961 году перевелась в Колледж Симмонс — частный женский гуманитарный колледж в Бостоне. В Колледже Симмонс не было сильной математической программы, но ей удалось посещать занятия по математике Изадора Сингера в MIT, и она окончила Симмонс со степенью бакалавра математики в 1963 году. В 1968 году она получила степень доктора философии по математике в Массачусетском технологическом институте. Её диссертация, "Обобщённые алгебраические теории: модельно-теоретический подход", была написана под руководством Джеральда Сакса. Она перешла к Саксу в качестве научного руководителя после того, как не смогла последовать за предыдущим руководителем при его переезде в Принстонский университет, поскольку в то время Принстон не принимал женщин в аспирантуру.

Карьера

После окончания докторской степени Блум поступила в Калифорнийский университет в Беркли, чтобы работать с Джулией Робинсон в качестве постдокторанта и лектора по математике. Однако в отделении не было постоянных должностей для женщин, и через два года ее должность лектора не была продлена. В 1971 году она стала одним из основателей Ассоциации женщин в математике. В 1973 году она присоединилась к преподавательскому составу колледжа Миллс, женского колледжа в Оклендских холмах недалеко от Беркли. В 1974 году она основала кафедру математики и информатики в Миллс, которая в то время была единственной программой по информатике в женском колледже. Она была заведующей или со-заведующей кафедрой в течение 13 лет. С 1975 по 1978 год она была третьим президентом Ассоциации женщин в математике. После этого Блум была избрана членом совета AMS, занимая эту должность с 1978 по 1980 год. В 1979 году ей была присвоена именная профессорская должность, первая кафедра Леттса Вилларда в Миллс. В 1983 году Блум получила грант Национального научного фонда на посещение в качестве профессора для женщин, чтобы в течение двух лет работать с Майклом Шубом в Высшей школе CUNY. В 1987 году она провела год в IBM. В 1992 году Блум стала заместителем директора Математического научно-исследовательского института (MSRI), работая там с его директором Уильямом Терстоном. После посещения Городского университета Гонконга в 1996–1998 годах для работы над своей книгой «Сложность и реальные вычисления» (во время передачи Гонконга от британского правления к китайскому), в 1999 году она стала заслуженным профессором компьютерных наук в Университете Карнеги — Меллона (CMU). В CMU она придерживалась мнения, что небольшое количество женщин, выбирающих специальность «информатика», частично связано с порочным кругом: из-за малого числа женщин у студенток-информатиков было меньше сетей поддержки (например, друзей по специальности, которые могли бы помочь им с учебой), чем у мужчин. И поскольку эти факторы делали работу в области информатики менее приятной и более сложной для женщин, все меньше женщин выбирали эту специальность. Вместо тогдашнего популярного подхода — изменения учебной программы в сторону большей практической направленности в надежде привлечь женщин — она настаивала на сохранении традиционной программы по информатике, но на изменении культуры вокруг программы, чтобы она стала более дружелюбной. В поддержку этой цели она основала программу Women@SCS в CMU, которая предоставляла возможности для наставничества и профориентации для женщин в области информатики. Благодаря этой программе, которой впоследствии руководила студентка Блума Кэрол Фриз, CMU удалось увеличить долю женщин в программе бакалавриата по информатике почти до 50%. Блум также основала проект «Олимп» в CMU, бизнес-инкубатор, который привел к созданию многих стартапов в Питтсбурге, связанных с CMU и его компьютерной программой. Она покинула CMU в 2018 году (с августа 2019 года) после того, как изменение структуры управления проектом «Олимп» привело к сексистскому отношению к ней и исключению других женщин из проектной деятельности.

After completing her doctorate, Blum went to the University of California at Berkeley to work with Julia Robinson as a postdoctoral fellow and lecturer in mathematics. However, the department had no permanent positions for women, and after two years, her position as lecturer was not renewed. In 1971 she became one of the founders of the Association for Women in Mathematics. In 1973 she joined the faculty of Mills College, a women's college in the Oakland hills near Berkeley. In 1974 she founded the mathematics and computer science department at Mills, at that time the only computer science program at a women's college. She served as the head or co head of the department for 13 years. From 1975 to 1978 she served as the third president of the Association for Women in Mathematics. Following this, Blum was elected as a Member at Large on the council of the AMS, serving from 1978 to 1980. In 1979 she was awarded an endowed professorship, the first Letts Villard Chair at Mills. In 1983 Blum won a National Science Foundation Visiting Professorship for Women award to work with Michael Shub for two years at the CUNY Graduate Center. In 1987 she spent a year at IBM. In 1992 Blum became the deputy director of the Mathematical Sciences Research Institute (MSRI), working there with its director William Thurston. After visiting the City University of Hong Kong in 1996–1998 to work on her book Complexity and Real Computation (during Hong Kong's handover from British to Chinese rule), she became a Distinguished Career Professor of Computer Science at Carnegie Mellon University (CMU) in 1999. At CMU, she took the philosophy that the low numbers of women majoring in computer science were in part caused by a vicious cycle: because there were few women, the women in computer science had fewer support networks (such as friends in the same major to help them with coursework) than men. And because these factors made being a computer scientist less pleasant and more difficult for the women, fewer women chose to major in computer science. Instead of the then popular approach of changing the curriculum to be more application centric in the hope of attracting women, she pushed to maintain a traditional computer science program but to change the culture surrounding the program to be more welcoming. In support of this goal, she founded the Women@SCS program at CMU, which provided both mentoring and outreach opportunities for women in computer science. Through this program, which came to be directed by Blum's student Carol Frieze, CMU was able to increase the proportion of women in the undergraduate computer science program to nearly 50%. Blum also founded Project Olympus at CMU, a business incubator program that led to many startups in Pittsburgh associated with CMU and its computer program. She resigned from CMU in 2018 (effective August 2019) after a change in management structure of Project Olympus led to sexist treatment of her and the exclusion of other women from project activities.

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

Псевдослучайный генератор чисел Блюма — Блюма — Шюба, опубликованный совместно Блюмом, Мануэлем Блюмом и Майклом Шюбом, основан на операции возведения чисел в квадрат по модулю произведения двух больших простых чисел. Его безопасность сводится к вычислительной сложности факторизации целых чисел. Блум также известна машиной Блюма — Шуба — Смаля, теоретической моделью вычислений над действительными числами. Блум и её соавторы, Майкл Шуб и Стивен Смаль, показали, что (аналогично теории машин Тьюринга) можно определить аналоги NP-полноты, неразрешимости и универсальности для этой модели. Например, в этой модели неразрешима задача определения принадлежности заданной точки множеству Мандельброта. Она опубликовала книгу по этой теме и в 1990 году выступила с докладом на Международном конгрессе математиков, посвящённым теории вычислительной сложности и реальным вычислениям.

Признание

В 2002 году Блум была избрана лектором Нетер Ассоциации женщин в математике. В 2005 году Блум получила Президентскую награду за выдающиеся достижения в области наставничества в науке, математике и инженерии, врученную президентом Джорджем Бушем-младшим "за ее усилия по наставничеству девушек и женщин в технологических областях, где они традиционно недостаточно представлены". В 2018 году ей была присуждена награда "Выдающаяся выпускница за заслуги перед Университетом Симмонса". Блум была избрана членом Американской ассоциации содействия развитию науки в 1979 году. В 2012 году Блум стала членом Американского математического общества. В 2017 году она была избрана членом Ассоциации женщин в математике в первом наборе участников. Она вошла в состав колоды игральных карт с изображением выдающихся женщин-математиков, изданной Ассоциацией женщин в математике.

Личная жизнь

Ленор Блум замужем за Мануэлем Блумом и является матерью Аврима Блума. Все трое — выпускники Массачусетского технологического института и были профессорами информатики в Университете Карнеги — Меллона.