Jump to content

Марике Хейсман

Марике Хейсман
Марике Хейсман в 2019 году
Рожденный ( 1973-05-03 ) 3 мая 1973 г. (51 год)
Гражданство Голландский
Альма-матер Утрехтский университет
Известный Надежность программного обеспечения, набор инструментов 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. Перейти обратно: Перейти обратно: а б Хейсман, Марике (1 февраля 2001 г.). Рассуждения о Java-программах в логике высшего порядка с использованием ПВС и Изабель (кандидатская диссертация) . Университет Радбауд в Неймегене . ISBN  90-9014440-4 .
  2. ^ Марике Хейсман (июль 1996 г.). Расчет политипического парсера (Магистерская работа). Утрехтский университет . CiteSeerX   10.1.1.57.6537 .
  3. ^ «Верификация параллельных структур данных» . Проверено 26 января 2021 г.
  4. ^ «Грант Вичи для Хейсмана и Бринкмана» . Ты сегодня. 17 февраля 2017 года . Проверено 26 января 2021 г.
  5. ^ «Премия Нидерландов за исследования в области ИКТ» . Проверено 26 января 2021 г.
  6. ^ «Приз в области ИКТ в размере 50 000 евро для Марике Хейсман (Юта)» . Королевское голландское общество наук . 2013 . Проверено 26 января 2021 г.
  7. ^ «Профессор Де Винтерприйс» (на голландском языке). Университет Твенте . Проверено 26 января 2021 г.
  8. ^ Нике Роос (27 марта 2018 г.). «Интервью: лучшее программное обеспечение с большим количеством женщин» (на голландском языке). Биты и чипы . Проверено 26 января 2021 г.
  9. ^ «Вестердейк-Импульс: дополнительные усилия для женщин-профессоров» (на голландском языке). Университет Твенте. 8 марта 2018 года . Проверено 26 января 2021 г.
  10. ^ Дэвид Редекер (2017). «Программное обеспечение объединяет дисциплины» (PDF) . Журнал I/O (на голландском языке). 14 (4). IPN (Платформа исследований в области ИКТ, Нидерланды): 18–19 . Проверено 26 января 2021 г.
  11. ^ Микаэла Несварова (25 января 2018 г.). «Программное обеспечение повсюду» . Ты сегодня . Проверено 26 января 2021 г.
  12. ^ «Вступительная лекция профессора доктора Мариеке Хейсман» . Университет Твенте . Проверено 26 января 2021 г.
  13. ^ «Правление ВЕРСЕН» . ВЕРСЕН . Проверено 26 января 2021 г.
  14. ^ Койперс, Ренсе (15 июля 2020 г.). «Сеть послов выходит за рамки гендера» . Ты сегодня . Проверено 26 января 2021 г.
  15. ^ «Мариеке Хейсман присоединяется к совету директоров» (на голландском языке). Фонд цифрового гражданства Нидерландов . Проверено 26 января 2021 г.

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: ec934ba7dde65fb32a32d4ef12e889b2__1708699680
URL1:https://arc.ask3.ru/arc/aa/ec/b2/ec934ba7dde65fb32a32d4ef12e889b2.html
Заголовок, (Title) документа по адресу, URL1:
Marieke Huisman - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)