Skip to content

Arnar Birgisson

  • PhD student
  • Department of Computer Science and Engineering, Chalmers University of Technology
  • 9PublicationsNumber of items in Arnar's My Publications folder on Mendeley.
  • 4Followers

Followers (4)

Following (4)

Publications (5)

  • Boosting the permissiveness of dynamic information-flow tracking by testing

    • Birgisson A
    • Hedin D
    • Sabelfeld A
    N/AReaders
    N/ACitations
  • Decompositional reasoning about the history of parallel processes

    • Aceto L
    • Birgisson A
    N/AReaders
    N/ACitations
  • Multi-run security

    • Birgisson A
    • Sabelfeld A
    N/AReaders
    N/ACitations
  • Position Paper: Differential Privacy with Information Flow Control

    • Birgisson A
    • McSherry F
    N/AReaders
    N/ACitations
  • Rule Formats for Determinism and Idempotency

    • Aceto L
    • Birgisson A
    • Ingolfsdottir A
    • et al.
    N/AReaders
    N/ACitations

Professional experience

PhD student

Department of Computer Science and Engineering, Chalmers University of Technology

September 2009 - Present

Research Intern

Google, Inc.

June 2012 - September 2012(3 months)

Research Intern

Microsoft Research

June 2010 - September 2010(3 months)

Education

PhD Computer Science (Language-based Security)

Chalmers University of Technology

September 2009 - September 2012(3 years)

MSc Computer Science

Reykjavik University

September 2007 - June 2009(2 years)

BSc Mathematics

University of Iceland

September 2001 - June 2004(3 years)