Mary Sheeran

Från Wikipedia
Hoppa till navigering Hoppa till sök
Mary Sheeran
Född10 mars 1959 (63 år)
InstitutionerChalmers tekniska högskola, institutionen för data- och informationsteknik
Alma materOxford University
DoktorsavhandlingExpert systems : a semantic network approach using a functional language and multi-valued logic (1984)
ORCIDhttps://orcid.org/0000-0003-2509-0957
MakeJohn Hughes

Mary Sheeran, född 10 mars 1959, är professor i funktionell programmering, på institutionen för data- och informationsteknik vid Chalmers tekniska högskola.[1][2]

Forskning[redigera | redigera wikitext]

Hennes tidiga forskning fokuserade på metoder för att använda funktionell programmering i design och verifiering av hårdvara.[3][4] Under en presentation som inbjuden talare på 2015 års International Conference on Functional Programming gav hon en historik och förklarade varför ämnet fortfarande är intressant.[5] Lava[6] var ett av de första domänspecifika språken som bäddades in i programspråket Haskell. Sheeran har fortsatt sin forskning med inriktning på domänspecifika programmeringsspråk, och har övertygat sina studenter att göra detsamma.[7][8]

Mer nyligen (2017) har Sheeran intresserat sig för att överföra viktiga idéer inom funktionell programmering till en bredare publik på utvecklarkonferenser, ibland tillsammans med sin man John Hughes.[9][10]

Sheeran är en av grundarna till IFIP Working Group 2.8 on Functional Programming, vars syfte är att främja kunskapsutbyte mellan forskare inom design, implementering och tillämpning av funktionell programmering.[11]

Sheeran har en betydande vetenskaplig publicering med ett h-index enligt Google Scholar på 25,[12] vilket innebär att hon är medförfattare till minst 25 artiklar som vardera är citerade minst 25 gånger.

Referenser[redigera | redigera wikitext]

  1. ^ ”Våra professorer, Chalmers” (på svenska). www.chalmers.se. https://www.chalmers.se/sv/forskning/vara-forskare/Sidor/professorer-alfabetiskt.aspx. Läst 11 september 2018. 
  2. ^ ”Mary Sheeran – Google Scholar Citations”. scholar.google.se. https://scholar.google.se/citations?user=zQ49M2sAAAAJ&hl=sv&oi=ao. Läst 11 september 2018. 
  3. ^ Bjesse, Per; Claessen, Koen; Sheeran, Mary; Singh, Satnam; Bjesse, Per; Claessen, Koen (1998-09-29). ”Lava: hardware design in Haskell”. ACM SIGPLAN Notices 34 (1): sid. 174, 174–184, 184. doi:10.1145/289423.289440, 10.1145/291251.289440. ISSN 0362-1340. http://dl.acm.org/citation.cfm?id=291251.289440. Läst 11 september 2018. 
  4. ^ ”Checking safety properties using induction and a SAT-solver, Sheeran, Singh and Stålmarck, FMCAD 2000”. https://www.di.ens.fr/~pouzet/cours/mpri/sheeran-FMCAD00.pdf. Läst 11 september 2018. 
  5. ^ ICFP Video (3 september 2015). ”2 01 Functional Programming and Hardware Design Still Interesting after All These Years mov”. https://www.youtube.com/watch?v=gz8JpdAwtuo. Läst 11 september 2018. 
  6. ^ Bjesse, Per; Claessen, Koen; Sheeran, Mary; Singh, Satnam (2001-05-12). ”Lava: Hardware Design in Haskell”. ACM SIGPLAN Notices 34. doi:10.1145/289423.289440. https://www.researchgate.net/publication/2413661_Lava_Hardware_Design_in_Haskell. Läst 11 september 2018. 
  7. ^ ”Feldspar: A domain specific language for digital signal processing algorithms, Axelsson, Claessen et al, MEMOCODE 2010”. http://www.cse.chalmers.se/~josefs/publications/FeldsparMEMOCODE2010.pdf. Läst 11 september 2018. 
  8. ^ Design Exploration Through Code-Generating DSLs, Svensson, Sheeran and Newton, Queue Volume 12 Issue 4. "12". 2014-04-01. http://dl.acm.org/citation.cfm?id=2611429. Läst 11 september 2018. 
  9. ^ Erlang Solutions (20 februari 2017). ”Keynote: Why Functional Programming Matters - John Hughes, Mary Sheeran (Lambda Days 2017)”. https://www.youtube.com/watch?v=1qBHf8DrWR8. Läst 11 september 2018. 
  10. ^ Erlang Solutions (8 mars 2018). ”Lambda Days 2018 - Mary Sheeran - In Praise of Higher Order Functions”. https://www.youtube.com/watch?v=OKUD56nkqig. Läst 11 september 2018. 
  11. ^ ”Home page of IFIP Working Group 2.8 - Functional Programming”. www.cs.ox.ac.uk. http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/. Läst 11 september 2018. 
  12. ^ ”Google Scholar-profil Mary Sheeran”. Google Scholar. https://scholar.google.se/citations?user=zQ49M2sAAAAJ&hl=sv&oi=ao. Läst 12 september 2018. 

Externa länkar[redigera | redigera wikitext]