stringtranslate.com

Маффи Колдер

Дама Маффи Колдер DBE FREng FRSE FBCS FIEE (урожденная Томас ; родилась 21 мая 1958 года) — британский учёный-компьютерщик канадского происхождения , проректор и руководитель факультета естественных наук и инженерии, профессор формальных методов в Университете Глазго . С 2012 по 2015 год она была главным научным советником [5] правительства Шотландии . [6] [7] [8] [9] [10] [11]

Биография

Колдер родилась под именем Маффи Томас 21 мая 1958 года в Шавинигане , Квебек , Канада , в семье Кармен и Лоис (Халлен) ван Томас. Она окончила Университет Стерлинга со степенью бакалавра наук в области компьютерных наук [12] и получила степень доктора наук в области вычислительной науки в Университете Сент-Эндрюс в 1987 году под руководством Роя Дайкхоффа. [2] [3] Она широко публиковалась под фамилией Томас до замужества с Дэвидом Колдером в 1998 году. [4]

Она работала в Университете Глазго с 1988 года и была деканом по исследованиям в Колледже науки и техники до 2012 года. [13] Она стала главным научным советником шотландского правительства 1 марта 2012 года. [12] Ранее Колдер занимала должность председателя Комитета по компьютерным исследованиям Великобритании и председателя Комитета по компьютерным исследованиям Британского компьютерного общества . [12] Она стала проректором и главой Колледжа науки и техники в 2015 году. [14] В 2015 году она была назначена в Совет по исследованиям в области инженерии и физических наук . [15]

Исследовать

Колдер суммирует свои исследовательские интересы как «математическое моделирование и автоматизированное обоснование для параллельных, общающихся систем». [16] Колдер опубликовала влиятельный обзор по проблеме взаимодействия признаков , [17] с более чем 300 ссылками в Google Scholar. [9] Ее исследования расширились до применения методов компьютерной науки к биохимическим сетям и клеточной сигнализации в биоинформатике , что привело к ряду статей. [9]

Награды и признание

Колдер была награждена Орденом Британской империи (OBE) в новогоднюю ночь 2011 года за заслуги в области компьютерных наук [18] и званием Дамы-Командора Ордена Британской империи (DBE) в день рождения 2020 года за заслуги в области исследований и образования. [19]

Она является членом [1] Королевского общества Эдинбурга (2000), [18] Британского компьютерного общества (2002), Института инженеров-электриков (2002) и Королевской инженерной академии (2013). [4] [1] [20]

В июне 2024 года Колдер была удостоена звания почетного доктора наук от Университета Сент-Эндрюса [21] в знак признания ее вклада в информатику и заслуг перед широким научным сообществом.

Колдер заняла 21-е место в списке самых влиятельных женщин Шотландии по версии The Herald в 2012 году . [22]

Ссылки

  1. ^ abc "Список стипендиатов".
  2. ^ ab Маффи Колдер в проекте «Генеалогия математики»
  3. ^ ab Томас, Маффи (1988). Императивная реализация алгебраических типов данных (диссертация на соискание ученой степени доктора философии). Университет Сент-Эндрюс.
  4. ^ abcd "CALDER, Prof. Muffy". Who's Who 2019, A & C Black, издательство Bloomsbury Publishing PLC, 2019; Онлайн-издание, Oxford University Press . doi : 10.1093/ww/9780199540884.013.U256072.(может потребоваться подписка или контент может быть доступен в библиотеках)
  5. ^ "Офис главного научного советника". Правительство Шотландии . Получено 17 марта 2013 г.
  6. ^ Публикации Маффи Колдера, проиндексированные в библиографической базе данных Scopus . (требуется подписка)
  7. ^ Маффи Колдер на библиографическом сервере DBLP
  8. ^ Страница профиля автора Маффи Колдера в ACM Digital Library
  9. ^ abc Публикации Маффи Колдера, проиндексированные Google Scholar
  10. ^ Публикации Маффи Колдера, проиндексированные Microsoft Academic
  11. ^ Колдер, М.; Вышемирский, В.; Гилберт, Д.; Ортон, Р. (2006). "Анализ сигнальных путей с использованием цепей Маркова с непрерывным временем" (PDF) . Труды по вычислительной системной биологии VI . Конспект лекций по информатике. Том 4220. стр. 44. doi :10.1007/11880646_3. ISBN 978-3-540-45779-4.
  12. ^ abc "Новый главный научный советник". Правительство Шотландии. 14 февраля 2012 г.
  13. ^ "Новые стипендиаты Королевской инженерной академии 2013". Архивировано из оригинала 22 марта 2014 года . Получено 17 марта 2014 года .
  14. ^ "Профессор Маффи Колдер возглавит Колледж науки и техники" (пресс-релиз). Университет Глазго. 12 июня 2014 г. Получено 16 января 2018 г.
  15. ^ "Джонсон объявляет о новых членах совета и повторном назначении". Новости EPSRC (пресс-релиз). Совет по исследованиям в области инженерии и физических наук. 9 июня 2015 г. Получено 16 января 2018 г.
  16. ^ "Glasgow Computing Staff Page: Muffy Calder". Университет Глазго . Получено 20 марта 2013 г.
  17. ^ Calder, M.; Kolberg, M.; Magill, EH; Reiff-Marganiec, S. (2003). "Взаимодействие признаков: критический обзор и продуманный прогноз" (PDF) . Computer Networks . 41 : 115–141. CiteSeerX 10.1.1.65.9572 . doi :10.1016/S1389-1286(02)00352-3. S2CID  7049303. 
  18. ^ ab "Профессор Маффи Колдер награжден орденом Британской империи". BCS – The Chartered Institute for IT. Архивировано из оригинала 8 октября 2017 года . Получено 17 марта 2013 года .
  19. ^ "№ 63135". The London Gazette (Приложение). 10 октября 2020 г. стр. B8.
  20. ^ "Новые стипендиаты Королевской инженерной академии 2013". Архивировано из оригинала 20 июля 2014 года . Получено 17 марта 2014 года .
  21. ^ "Почетный выпускник: профессор Дама Маффи Колдер".
  22. ^ "50 самых влиятельных женщин Шотландии 2012". The Herald . Получено 17 марта 2013 г.