Mary Sheeran
| Mary Sheeran | |
| Född | 10 mars 1959 |
|---|---|
| Institutioner | Chalmers tekniska högskola, institutionen för data- och informationsteknik |
| Alma mater | Oxford University |
| Doktorsavhandling | Expert systems : a semantic network approach using a functional language and multi-valued logic (1984) |
| ORCID | https://orcid.org/0000-0003-2509-0957 |
| Make | John 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]- ^ ”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.
- ^ ”Mary Sheeran – Google Scholar Citations”. scholar.google.se. https://scholar.google.se/citations?user=zQ49M2sAAAAJ&hl=sv&oi=ao. Läst 11 september 2018.
- ^ 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:. ISSN 0362-1340. http://dl.acm.org/citation.cfm?id=291251.289440. Läst 11 september 2018.
- ^ ”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.
- ^ 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.
- ^ Bjesse, Per; Claessen, Koen; Sheeran, Mary; Singh, Satnam (2001-05-12). ”Lava: Hardware Design in Haskell”. ACM SIGPLAN Notices 34. doi:. https://www.researchgate.net/publication/2413661_Lava_Hardware_Design_in_Haskell. Läst 11 september 2018.
- ^ ”Feldspar: A domain specific language for digital signal processing algorithms, Axelsson, Claessen et al, MEMOCODE 2010”. Arkiverad från originalet den 22 september 2017. https://web.archive.org/web/20170922002958/http://www.cse.chalmers.se/%7Ejosefs/publications/FeldsparMEMOCODE2010.pdf. Läst 11 september 2018.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ ”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.
- ^ ”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]
|