Muffy Calder

Dame Muffy Calder DBE FREng FRSE FBCS FIEE
Calder vid University of St Andrews 2013
Född	Muffy Thomas ( 1958-05-21 ) 21 maj 1958 Shawinigan , Quebec
Alma mater	University of Stirling (BSc) University of St Andrews (PhD)
Känd för	funktionsinteraktionsproblem Chief Scientific Advisor för Skottland
Make	David James Calder (1998-nutid)
Utmärkelser	FRSE (2000) FIEE (2002) FBCS (2002) OBE (2011) FREng (2013)
Vetenskaplig karriär
Fält	formella metoder
institutioner	University of Glasgow University of Stirling University of St Andrews University of Edinburgh
Avhandling	Imperativ implementering av algebraiska datatyper (1988)
Doktorand rådgivare	Roy Dyckhoff
Hemsida	www .dcs .gla .ac .uk /~muffy

Dame Muffy Calder DBE FREng FRSE FBCS FIEE (född Thomas ; född 21 maj 1958) är en kanadensiskfödd brittisk datavetare , vice-rektor och chef för College of Science and Engineering, och professor i formella metoder vid University of Glasgow . Från 2012 till 2015 var hon Chief Scientific Advisor för den skotska regeringen .

Biografi

Calder föddes som Muffy Thomas den 21 maj 1958 i Shawinigan , Quebec , Kanada till Carmen och Lois (Hallen) van Thomas. Hon tog examen med en BSc -examen i datavetenskap från University of Stirling och avslutade en doktorsexamen i beräkningsvetenskap vid University of St Andrews 1987 under ledning av Roy Dyckhoff. Hon publicerade mycket under efternamnet Thomas innan hon gifte sig med David Calder 1998.

Hon har arbetat vid University of Glasgow sedan 1988, och var dekan för forskning vid College of Science and Engineering fram till 2012. Hon blev Chief Scientific Advisor för den skotska regeringen den 1 mars 2012. Tidigare har Calder varit ordförande för UK Computing Forskningskommitté och ordförande i British Computer Society Academy of Computing Research Committee. Hon blev vice rektor och chef för College of Science and Engineering 2015. 2015 utsågs hon till Rådet för Ingenjörs- och fysikaliska forskningsrådet .

Forskning

Calder sammanfattar sina forskningsintressen som "matematisk modellering och automatiserade resonemang för samtidiga, kommunicerande system". Calder publicerade en inflytelserik översikt över funktionsinteraktionsproblemet , med mer än 300 citat på Google Scholar. Hennes forskning har utvidgats till att tillämpa datavetenskapliga metoder på biokemiska nätverk och cellsignalering inom bioinformatik , vilket resulterat i ett antal artiklar.

Utmärkelser och erkännande

Calder utsågs till Order of the British Empire (OBE) i 2011 New Year Honours för tjänster till datavetenskap och Dame Commander of the Order of the British Empire (DBE) i 2020 Birthday Honours för tjänster till forskning och utbildning.

Hon innehar stipendier från Royal Society of Edinburgh (2000), British Computer Society (2002), Institution of Electrical Engineers (2002) och Royal Academy of Engineering (2013).

Calder listades som den 21:a mest inflytelserika kvinnan i Skottland, 2012, av The Herald .