Hjem
Frances Rosamonds bilde

Frances Rosamond

Professor emerita, Professor
  • E-postFrances.Rosamond@uib.no
  • Besøksadresse
    HIB - Thormøhlens gate 55
    5006 Bergen
  • Postadresse
    Postboks 7803
    5020 Bergen

Frances Rosamond er professor i datavitenskap ved Universitetet i Bergen, Norge. Rosamonds hovedinteresser inkluderer teoretisk datavitenskap og parameterisert kompleksitet, og jobber for å bringe sammen parameteriserte algoritmer og praksis. Forskningen inkluderer også utdanning, som involverer å designe en metode for å systematisk generere spilloppgaver ved å anvende NP-komplette problemer.

Rosamonds interesse for utdanning i datavitenskap gjenspeiles i forskningen hennes. Her har du en oversikt over pågående formidlings- og forskningsprosjekter:

Parameterized Complexity Wiki and Newsletter

Rosamond bidrar aktivt til informatikksamfunnet og opprettet i 2005 the Parameterized Complexity Wiki, og har siden den gang moderert nettsiden. I tillegg er hun redaktør for nyhetsbrevet FPT News: The Parameterized Complexity Newsletter.

Creative Mathematical Science Communication

Creative Mathematical Science Communication forsker på hvordan de grunnleggende ideene og åpne problemene i matematikkvitenskapen kan formidles til allmennheten på meningsfulle måtes, da spesielt gjennom aktiviteter som brukes i Computer Science Unplugged!. Prosjektet tar utgangspunkt i at forskningsformidling går begge veier, og er interessert i de tekniske og vitenskapelige fordelene man får som forsker som engasjerer seg i formidling. For å hjelpe til med å forstå disse problemene, startet Rosamond konferanseserien Creative Mathematical Sciences Communication (CMSC). Den fjerde konferansen gikk av stabelen 20. – 23. juli i Wellington, New Zealand.

PACE

Professor Rosamond var med på å starte programmeringskonkurransen PACE (Parameterized Algorithms and Computational Experiments), og var leder av styringskomiteen fra 2016 – 2017. Dette er en årlig konkurranse hvor målet er å øke bevisstheten om algoritmers relevans, samt opprette et sterkere forhold mellom parameterized algorithmics og praksis.

BEBRAS

Rosamond har satt sammen et konsortium for å få informatikk-konkurransen Bebras til Norge. Bebras er et internasjonalt initiativ som jobber for å promotere informatikk og algoritmisk tenkning blant skoleelever i alle aldre.

Frances Rosamond har jobbet aktivt med vitenskapsformidling, og har delt sin forskning på det matematiske grunnlaget for datavitenskap til barn og voksne verden over. I tillegg til formidlingsaktivitetene beskrevet i «Forsknings»-fanen, har Rosamond allerede vært en aktiv bidragsyter i formidlingsaktiviteter siden hun startet i jobben som professorved UiB i 2016.

Hun har bidratt med å arrangere aktiviteter fra Computer Science Unplugged!-prosjektet på Forskningsdagene og Forskernatt på Naturhistorisk Museum, samt holdt en workshop ved en videregående skole i Bergen.

Et annet viktig aspekt ved Rosamonds formidlingsaktiviteter er å hele tiden promotere mulighetene kvinner har innfor matematikk og informatikk. Et eksempel er fra da hun jobbet som professor i matematikk ved The National University i San Diego (1986 – 1999), hvor hun arrangerte The Sonia Kovalevsky Mathematics Days for både jentene og lærerne.

Frances Rosamond utvikler aktiviteter og initiativer for å fornye utdanningen og formidlingen av informatikk, og har da spesielt grunnskole og videregående opplæring som målgruppe. For å gjennomføre dette bruker hun materiale fra Computer Science Unplugged!-prosjektet.

Vitenskapelig artikkel
  • Vis forfatter(e) (2022). Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory. Artificial Intelligence.
  • Vis forfatter(e) (2021). Treewidth, Kernels, and Algorithms - Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday. Springer Series in Computer Science.
  • Vis forfatter(e) (2020). Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory. IJCAI International Joint Conference on Artificial Intelligence. 1119-1125.
  • Vis forfatter(e) (2018). What Is Known About Vertex Cover Kernelization? Lecture Notes in Computer Science (LNCS). 330-356.
  • Vis forfatter(e) (2018). Parameterized approximation via fidelity preserving transformations. Journal of computer and system sciences. 30-40.
  • Vis forfatter(e) (2018). Computational thinking enrichment: Public-key cryptography. Informatics in Education. An International Journal. 93-103.
  • Vis forfatter(e) (2018). A brief history of Edward K. Blum and the Journal of Computer and System Sciences. Journal of computer and system sciences. 2-10.
  • Vis forfatter(e) (2017). The first Parameterized Algorithms and Computational Experiments challenge. Leibniz International Proceedings in Informatics. 1-9.
  • Vis forfatter(e) (2017). Algorithms, kernels and lower bounds for the Flood-It game parameterized by the vertex cover number. Discrete Applied Mathematics. 94-100.
  • Vis forfatter(e) (2016). Tractable parameterizations for the MINIMUM LINEAR ARRANGEMENT problem. ACM Transactions on Computation Theory.
Vitenskapelig foredrag
  • Vis forfatter(e) (2021). Parameterized String Equations abs/2104.14171.
  • Vis forfatter(e) (2021). Diversity of Solutions: An Exploration Through the Lens of Fixed-Parameter Tractability Theory.
Leder
  • Vis forfatter(e) (2020). Editorial Special Issue “New Frontiers in Parameterized Complexity and Algorithms”: Foreward by the Guest Editors. Algorithms. 4 sider.
  • Vis forfatter(e) (2019). Frontiers in Algorithmics. Theoretical Computer Science. 1.
  • Vis forfatter(e) (2017). Preface. Lecture Notes in Computer Science (LNCS). VI-VI.
Vitenskapelig monografi
  • Vis forfatter(e) (2018). Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday.
Populærvitenskapelig artikkel
  • Vis forfatter(e) (2020). The International Conference on Creative Mathematical Sciences Communication: Online Event (CMSC'20) and CMSC'21. Journal of Humanistic Mathematics.
Nettsider (opplysningsmateriale)
  • Vis forfatter(e) (2020). Parameterized Complexity Community Wiki www.fpt.wikidot.com Started 2005, continues to inform and serve the community.

Se fullstendig oversikt over publikasjoner i CRIStin.

I tillegg til prosjektene beskrevet i fanen «Forskning», er Frances Rosamond også CEO av Rosamond Computer Science Research and Education Company.

Professor Rosamond har gjort mye bra og viktig arbeid innenfor feltet sitt, og det kommer tydelig fram i de følgene utvalgte ærer og priser:

  • 2013: Australian Council of Deans of ICT (ACDICT), 2013 ACDICT Learning and Teaching Academy (ALTA) Engagement Award for å kommunisere grunnlag og grenser i informasjons- og kommunikasjonsteknologi (ICT) barn.
  • 2013: First International Conference on Creative Mathematical Sciences Communication. Rosamond startet konferanseserien med sponsorer som Google, the Australian Mathematical Sciences Institute (AMSI), Kikdigital Media, og andre lokale sponsorer.
  • 2003-2004: University of Newcastle Higher Education Equity Programme Award: An Investigation into Increasing the Number of Women in Computer Science.
  • 2012: University of Newcastle New Staff Grant: Computer Games: Learning and Edutainment, Applications in Computer Science.
Kompetansefelt