Маффи Колдер

Дама
Маффи Колдер
DBE FREng FRSE FBCS FIEE
Дама Маффи Колдер DBE FREng FRSE FBCS FIEE
	Колдер в Университете Сент-Эндрюс в 2013 году.
Рожденный	Маффи Томас ; 21 мая 1958 г. (66 лет) ; Шавиниган , Квебек
Альма-матер	Университет Стерлинга (бакалавр) ; Университет Сент-Эндрюс (доктор философии)
Известный	проблема взаимодействия функций ; Главный научный советник Шотландии
Супруг	Дэвид Джеймс Колдер (1998-настоящее время)
Награды	ФРСЭ (2000) ; ФИЕЕ (2002) ; ФБКС (2002) ; ОБА (2011) ; Франция (2013) ; доктор технических наук (2024 г.)
	Научная карьера
Поля	формальные методы
Учреждения	Университет Глазго ; Университет Стерлинга ; Университет Сент-Эндрюс ; Эдинбургский университет
Диссертация	Императивная реализация алгебраических типов данных (1988)
Докторантура	Рой Дайкхофф
Веб-сайт	www .dcs .гла .и .uk /~муффи

Дама Маффи Колдер 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-й самой влиятельной женщиной Шотландии в 2012 году по версии The Herald . ^[22]

Ссылки

^ Перейти обратно: ^а ^б ^с «Список коллег» .
^ Перейти обратно: ^а ^б Маффи Колдер в проекте «Математическая генеалогия»
^ Перейти обратно: ^а ^б Томас, Маффи (1988). Императивная реализация алгебраических типов данных (кандидатская диссертация). Университет Сент-Эндрюс.
^ Перейти обратно: ^а ^б ^с ^д «КАЛДЕР, профессор Маффи». Кто есть кто 2019, A&C Black, издательство Bloomsbury Publishing PLC, 2019; Интернет-издание, Издательство Оксфордского университета . дои : 10.1093/ww/9780199540884.013.U256072 . (может потребоваться подписка или контент может быть доступен в библиотеках)
^ «Кабинет главного научного консультанта» . Правительство Шотландии . Проверено 17 марта 2013 г.
^ Публикации Маффи Колдера, индексируемые библиографической базой данных Scopus . (требуется подписка)
^ Маффи Колдер на DBLP библиографическом сервере
^ Маффи Колдера Страница профиля автора ACM. в цифровой библиотеке
^ Перейти обратно: ^а ^б ^с Публикации Маффи Колдера, проиндексированные Google Scholar
^ Публикации Маффи Колдера, индексируемые Microsoft Academic.
^ Колдер, М.; Вышемирский В.; Гилберт, Д.; Ортон, Р. (2006). «Анализ сигнальных путей с использованием цепей Маркова с непрерывным временем» (PDF) . Труды по вычислительной системной биологии VI . Конспекты лекций по информатике. Том. 4220. с. 44. дои : 10.1007/11880646_3 . ISBN 978-3-540-45779-4 .
^ Перейти обратно: ^а ^б ^с «Новый главный научный руководитель» . Правительство Шотландии. 14 февраля 2012 г.
^ «Новые члены Королевской инженерной академии 2013» . Архивировано из оригинала 22 марта 2014 года . Проверено 17 марта 2014 г.
^ «Профессор Маффи Колдер возглавит Колледж науки и техники» (пресс-релиз). Университет Глазго. 12 июня 2014 года . Проверено 16 января 2018 г.
^ «Джонсон объявляет новых членов совета и их повторное назначение» . Новости EPSRC (Пресс-релиз). Научно-исследовательский совет по инженерным и физическим наукам. 9 июня 2015 года . Проверено 16 января 2018 г.
^ «Страница сотрудников отдела вычислений в Глазго: Маффи Колдер» . Университет Глазго . Проверено 20 марта 2013 г.
^ Колдер, М .; Кольберг, М.; Мэгилл, Э.Г.; Райфф-Марганец, С. (2003). «Взаимодействие функций: критический обзор и продуманный прогноз» (PDF) . Компьютерные сети . 41 : 115–141. CiteSeerX 10.1.1.65.9572 . дои : 10.1016/S1389-1286(02)00352-3 . S2CID 7049303 .
^ Перейти обратно: ^а ^б «Профессор Маффи Колдер награжден Орденом Британской империи» . BCS – Сертифицированный институт информационных технологий. Архивировано из оригинала 8 октября 2017 года . Проверено 17 марта 2013 г.
^ «№63135» . Лондонская газета (Приложение). 10 октября 2020 г. с. Б8.
^ «Новые члены Королевской инженерной академии 2013» . Архивировано из оригинала 20 июля 2014 года . Проверено 17 марта 2014 г.
^ «Почетный выпускник: профессор Дама Маффи Колдер» .
^ «50 самых влиятельных женщин Шотландии 2012» . Вестник . Проверено 17 марта 2013 г.

[List_of_Fellows-1] Перейти обратно: ^а ^б ^с «Список коллег» .

[MGP-2] Перейти обратно: ^а ^б Маффи Колдер в проекте «Математическая генеалогия»

[muffyphd-3] Перейти обратно: ^а ^б Томас, Маффи (1988). Императивная реализация алгебраических типов данных (кандидатская диссертация). Университет Сент-Эндрюс.

[whoswho-4] Перейти обратно: ^а ^б ^с ^д «КАЛДЕР, профессор Маффи». Кто есть кто 2019, A&C Black, издательство Bloomsbury Publishing PLC, 2019; Интернет-издание, Издательство Оксфордского университета . дои : 10.1093/ww/9780199540884.013.U256072 . (может потребоваться подписка или контент может быть доступен в библиотеках)

[5] «Кабинет главного научного консультанта» . Правительство Шотландии . Проверено 17 марта 2013 г.

[scopus-6] Публикации Маффи Колдера, индексируемые библиографической базой данных Scopus . (требуется подписка)

[DBLP-7] Маффи Колдер на DBLP библиографическом сервере

[acm-8] Маффи Колдера Страница профиля автора ACM. в цифровой библиотеке

[GS-9] Перейти обратно: ^а ^б ^с Публикации Маффи Колдера, проиндексированные Google Scholar

[microsoft-10] Публикации Маффи Колдера, индексируемые Microsoft Academic.

[11] Колдер, М.; Вышемирский В.; Гилберт, Д.; Ортон, Р. (2006). «Анализ сигнальных путей с использованием цепей Маркова с непрерывным временем» (PDF) . Труды по вычислительной системной биологии VI . Конспекты лекций по информатике. Том. 4220. с. 44. дои : 10.1007/11880646_3 . ISBN 978-3-540-45779-4 .

[newcsa-12] Перейти обратно: ^а ^б ^с «Новый главный научный руководитель» . Правительство Шотландии. 14 февраля 2012 г.

[13] «Новые члены Королевской инженерной академии 2013» . Архивировано из оригинала 22 марта 2014 года . Проверено 17 марта 2014 г.

[14] «Профессор Маффи Колдер возглавит Колледж науки и техники» (пресс-релиз). Университет Глазго. 12 июня 2014 года . Проверено 16 января 2018 г.

[15] «Джонсон объявляет новых членов совета и их повторное назначение» . Новости EPSRC (Пресс-релиз). Научно-исследовательский совет по инженерным и физическим наукам. 9 июня 2015 года . Проверено 16 января 2018 г.

[16] «Страница сотрудников отдела вычислений в Глазго: Маффи Колдер» . Университет Глазго . Проверено 20 марта 2013 г.

[17] Колдер, М .; Кольберг, М.; Мэгилл, Э.Г.; Райфф-Марганец, С. (2003). «Взаимодействие функций: критический обзор и продуманный прогноз» (PDF) . Компьютерные сети . 41 : 115–141. CiteSeerX 10.1.1.65.9572 . дои : 10.1016/S1389-1286(02)00352-3 . S2CID 7049303 .

[bcs-18] Перейти обратно: ^а ^б «Профессор Маффи Колдер награжден Орденом Британской империи» . BCS – Сертифицированный институт информационных технологий. Архивировано из оригинала 8 октября 2017 года . Проверено 17 марта 2013 г.

[19] «№63135» . Лондонская газета (Приложение). 10 октября 2020 г. с. Б8.

[20] «Новые члены Королевской инженерной академии 2013» . Архивировано из оригинала 20 июля 2014 года . Проверено 17 марта 2014 г.

[21] «Почетный выпускник: профессор Дама Маффи Колдер» .

[22] «50 самых влиятельных женщин Шотландии 2012» . Вестник . Проверено 17 марта 2013 г.

[4]

[1]

[2]

[3]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Германия Израиль Соединенные Штаты
академики	Ассоциация вычислительной техники ДБЛП Google Академика Проект математической генеалогии ОРЦИД Скопус 2 zbMATH
Другой	ИдРеф