Skip to content

Gabrielle Anderson

  • BA
  • Research Assistant
  • University of Aberdeen Department of Computing Science
  • 5PublicationsNumber of items in Gabrielle's My Publications folder on Mendeley.
  • 4Followers

Research interests

programming language designstatic analysesdynamic software modificationsType and effect systems

About

I undertook a PhD in Dynamic Software Update at the University of Southampton from 2008-2001.

Groups

Followers (4)

Following (3)

Publications (5)

  • Trust Domains: An Algebraic, Logical, and Utility-theoretic Approach

    • Anderson G
    • Collinson M
    • Pym D
    N/AReaders
    N/ACitations
    Get full text
  • Utility-based Decision-making in Distributed Systems Modelling [Extended Abstract]

    • Anderson G
    • Collinson M
    • Pym D
    N/AReaders
    N/ACitations
  • Dynamic Software Update for Behavioural Properties of Concurrent Programs

    • Anderson G
    N/AReaders
    N/ACitations
  • Resource Access with Variably Typed Return

    • Anderson G
    • Rathke J
    N/AReaders
    N/ACitations
  • Migrating Protocols in Multi-threaded Message-passing Systems

    • Anderson G
    • Rathke J
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Research Assistant

Department of Computing Science, University of Aberdeen

January 2012 - Present

PhD student

DSSE, ECS, University of Southampton

October 2008 - December 2011(3 years)

Education

BA Computer Science

Gonville and Caius College, University of Cambridge

October 2005 - June 2008(3 years)