Марике Хейсман
Марике Хейсман | |
---|---|
Рожденный | |
Гражданство | Голландский |
Альма-матер | Утрехтский университет |
Известный | Надежность программного обеспечения, набор инструментов VerCors |
Научная карьера | |
Докторантура | Хенк Барендрегт |
Марике Хейсман (род. 3 мая 1973, Утрехт , Нидерланды) [1] ) — голландский ученый-компьютерщик и профессор надежности программного обеспечения в Университете Твенте , где она возглавляет группу формальных методов и инструментов . [2]
Карьера [ править ]
Хейсман окончил Утрехтский университет в 1996 году. [3] Она получила докторскую степень в Университете Радбауд в Неймегене в 2001 году; ее диссертацию под названием « Рассуждения о Java-программах в логике высшего порядка с использованием PVS и Isabelle » курировал Хенк Барендрегт . [1]
С 2001 по 2008 год она работала в Исследовательском центре INRIA София Антиполис во Франции, а затем поступила в Университет Твенте в Нидерландах. [2] Хьюсман получил стартовый грант ERC в 2010 году. [4] и грант NWO Vici в 2017 году. [5] В 2013 году она была удостоена премии Нидерландов за исследования в области ИКТ. [6] [7] и премия профессора Де Винтера в 2014 году. [8]
С июля 2017 года Хьюсман является профессором Университета Твенте . [9] [10] [11] Она прочитала свою вступительную лекцию « Надежность программного обеспечения для всех» . [12] 26 января 2021 г. [13]
Хейсман является председателем VERSEN (VEReniging Software Engineering Nederland), Голландской национальной ассоциации разработки программного обеспечения. [14] председатель The Ambassadors Network, которая консультирует исполнительный совет Университета Твенте по вопросам политики многообразия, [15] и член правления Stichting Digital Citizenship Нидерланды, Фонда цифрового гражданства Нидерландов. [16]
Награды и почести [ править ]
Год | Организация | Награда / Честь |
---|---|---|
2013 | Голландская исследовательская платформа в области ИКТ IPN и Организация научных исследований Нидерландов | Премия Нидерландов за исследования в области ИКТ |
2014 | Университет Твенте | Учитель зимней премии |
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б Хейсман, Марике (1 февраля 2001 г.). Рассуждения о Java-программах в логике высшего порядка с использованием ПВС и Изабель (кандидатская диссертация) . Университет Радбауд в Неймегене . ISBN 90-9014440-4 .
- ↑ Перейти обратно: Перейти обратно: а б «Выдающиеся ученые: Марике Хейсман» . Университет Твенте . Проверено 26 января 2021 г.
- ^ Марике Хейсман (июль 1996 г.). Расчет политипического парсера (Магистерская работа). Утрехтский университет . CiteSeerX 10.1.1.57.6537 .
- ^ «Верификация параллельных структур данных» . Проверено 26 января 2021 г.
- ^ «Грант Вичи для Хейсмана и Бринкмана» . Ты сегодня. 17 февраля 2017 года . Проверено 26 января 2021 г.
- ^ «Премия Нидерландов за исследования в области ИКТ» . Проверено 26 января 2021 г.
- ^ «Приз в области ИКТ в размере 50 000 евро для Марике Хейсман (Юта)» . Королевское голландское общество наук . 2013 . Проверено 26 января 2021 г.
- ^ «Профессор Де Винтерприйс» (на голландском языке). Университет Твенте . Проверено 26 января 2021 г.
- ^ Нике Роос (27 марта 2018 г.). «Интервью: лучшее программное обеспечение с большим количеством женщин» (на голландском языке). Биты и чипы . Проверено 26 января 2021 г.
- ^ «Вестердейк-Импульс: дополнительные усилия для женщин-профессоров» (на голландском языке). Университет Твенте. 8 марта 2018 года . Проверено 26 января 2021 г.
- ^ Дэвид Редекер (2017). «Программное обеспечение объединяет дисциплины» (PDF) . Журнал I/O (на голландском языке). 14 (4). IPN (Платформа исследований в области ИКТ, Нидерланды): 18–19 . Проверено 26 января 2021 г.
- ^ Микаэла Несварова (25 января 2018 г.). «Программное обеспечение повсюду» . Ты сегодня . Проверено 26 января 2021 г.
- ^ «Вступительная лекция профессора доктора Мариеке Хейсман» . Университет Твенте . Проверено 26 января 2021 г.
- ^ «Правление ВЕРСЕН» . ВЕРСЕН . Проверено 26 января 2021 г.
- ^ Койперс, Ренсе (15 июля 2020 г.). «Сеть послов выходит за рамки гендера» . Ты сегодня . Проверено 26 января 2021 г.
- ^ «Мариеке Хейсман присоединяется к совету директоров» (на голландском языке). Фонд цифрового гражданства Нидерландов . Проверено 26 января 2021 г.