Muffy Calder - Muffy Calder - Wikipedia

Dáma

Muffy Calder

DBE FREng FRSE FBCS FIEE
Barevná fotografie Muffyho Caldera
Calder na University of St Andrews v roce 2013
narozený
Muffy Thomas

(1958-05-21) 21. května 1958 (věk 62)
Shawinigan, Quebec[1]
Alma materUniversity of Stirling (BSc)
University of St Andrews (PhD)
Známý jakoproblém s interakcí funkcí
Hlavní vědecký poradce pro Skotsko
Manžel (y)David Calder[1]
OceněníFRSE (2000)
FIEE (2002)
FBCS (2002)
Ó BÝT (2011)
FREng (2013)[2]
Vědecká kariéra
Poleformální metody
InstituceUniversity of Glasgow
University of Stirling
University of St Andrews
University of Edinburgh
TezeImperativní implementace algebraických datových typů  (1988)
Doktorský poradceRoy Dyckhoff[3][4]
webová stránkawww.dcs.gla.ac.Spojené království/ ~ tlumený

Dame Muffy Calder DBE FREng FRSE FBCS FIEE (rozená Thomas; narozený 21. května 1958) je skotský počítačový vědec, zástupce ředitele a vedoucí College of Science and Engineering a profesor Formální metody na University of Glasgow. Od 2012-2015 byla Hlavní vědecký poradce[5] do Skotská vláda.[6][7][8][9][10][11]

Životopis

Calder se narodil Muffy Thomas dne 21. května 1958 v Shawinigan, Quebec, Kanada Lois van Thomas (rozená Hallen) a Carmen van Thomas. Promovala s BSc vzdělání v oboru počítačová věda z University of Stirling,[12] a dokončil doktorát v výpočetní věda na University of St Andrews v roce 1987 pod dohledem Roye Dyckhoffa.[3][4] Publikovala široce pod příjmením Thomas před svatbou s Davidem Calderem v roce 1998.[1]

Pracovala v University of Glasgow od roku 1988 a do roku 2012 působil jako děkan výzkumu na Vysoké škole vědy a techniky.[13] Dne 1. března 2012 se stala hlavní vědeckou poradkyní skotské vlády.[12] Calder dříve působil jako předseda britského výboru pro výzkum v oblasti výpočetní techniky a předseda Britská počítačová společnost Výbor pro výzkum Akademie výpočetní techniky.[12] V roce 2015 se stala zástupkyní ředitelky a vedoucí Vysoké školy vědy a techniky.[14] V roce 2015 byla jmenována do rady Rada pro výzkum ve strojírenství a fyzikálních vědách.[15]

Výzkum

Calder shrnuje své výzkumné zájmy jako „matematické modelování a automatické uvažování pro souběžné komunikující systémy“.[16] Calder zveřejnil vlivný přehled o problém s interakcí funkcí,[17] s více než 300 citacemi ve službě Google Scholar.[9] Její výzkum se rozšířil na aplikaci metod počítačové vědy na biochemické sítě a buněčná signalizace v bioinformatika, což má za následek řadu příspěvků.[9]

Ocenění a uznání

Calder byl jmenován Řád britského impéria (OBE) v Vyznamenání za nový rok 2011 pro služby pro informatiku[18] a Dame velitelka Řádu britského impéria (DBE) v Vyznamenání k narozeninám 2020 pro služby pro výzkum a vzdělávání.[19]

Je držitelkou stipendií[2] z Royal Society of Edinburgh (2000),[18] the Britská počítačová společnost (2002) Instituce elektrotechniků (2002) a Royal Academy of Engineering (2013).[1][2][20]

Calderová byla do roku 2012 uvedena jako 21. nejvlivnější žena ve Skotsku The Herald.[21]

Reference

  1. ^ A b C d „CALDER, prof. Muffy“. Who's Who 2019, A & C Black, an Imprint of Bloomsbury Publishing PLC, 2019; Online Edn, Oxford University Press. doi:10.1093 / ww / 9780199540884.013.U256072.(může být vyžadováno předplatné nebo může být obsah dostupný v knihovnách)
  2. ^ A b C "Seznam spolupracovníků".
  3. ^ A b Muffy Calder na Matematický genealogický projekt Upravte to na Wikidata
  4. ^ A b Thomas, Muffy (1988). Nutná implementace algebraických datových typů (Disertační práce). University of St Andrews.
  5. ^ „Kancelář hlavního vědeckého poradce“. Skotská vláda. Citováno 17. března 2013.
  6. ^ Publikace Muffy Calder indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
  7. ^ Muffy Calder na DBLP Bibliografický server Upravte to na Wikidata
  8. ^ Muffy Calder stránka s profilem autora na ACM Digitální knihovna Upravte to na Wikidata
  9. ^ A b C Muffy Calder publikace indexované podle Google Scholar Upravte to na Wikidata
  10. ^ Seznam publikací z Microsoft Academic
  11. ^ Calder, M .; Vyshemirsky, V .; Gilbert, D .; Orton, R. (2006). „Analýza signálních cest pomocí Markovových řetězců s kontinuálním časem“ (PDF). Transakce na biologii výpočetních systémů VI. Přednášky z informatiky. 4220. str. 44. doi:10.1007/11880646_3. ISBN  978-3-540-45779-4.
  12. ^ A b C „Nový hlavní vědecký poradce“. Skotská vláda. 14. února 2012.
  13. ^ „Royal Academy of Engineering New Fellows 2013“. Archivovány od originál dne 22. března 2014. Citováno 17. března 2014.
  14. ^ „Profesor Muffy Calder povede Vysokou školu vědy a techniky“ (Tisková zpráva). University of Glasgow. 12. června 2014. Citováno 16. ledna 2018.
  15. ^ „Johnson oznamuje nové členy rady a nové jmenování“. Zprávy EPSRC (Tisková zpráva). Rada pro výzkum inženýrských a fyzikálních věd. 9. června 2015. Citováno 16. ledna 2018.
  16. ^ „Stránka zaměstnanců v Glasgow Computing: Muffy Calder“. University of Glasgow. Citováno 20. března 2013.
  17. ^ Calder, M.; Kolberg, M .; Magill, E. H .; Reiff-Marganiec, S. (2003). „Interakce s funkcemi: kritická kontrola a uvažovaná předpověď (PDF). Počítačové sítě. 41: 115–141. CiteSeerX  10.1.1.65.9572. doi:10.1016 / S1389-1286 (02) 00352-3.
  18. ^ A b „Profesor Muffy Calder oceněn OBE“. BCS - Chartered Institute for IT. Archivovány od originál dne 8. října 2017. Citováno 17. března 2013.
  19. ^ „Č. 63135“. London Gazette (Doplněk). 10. října 2020. str. B8.
  20. ^ „Royal Academy of Engineering New Fellows 2013“. Archivovány od originál dne 20. července 2014. Citováno 17. března 2014.
  21. ^ „Skotské top 50 vlivných žen 2012“. The Herald. Citováno 17. března 2013.