Skip to content

Johannes Borgström

  • Docteur ès Sciences
  • Research Fellow
  • Dept. of IT, Uppsala University
  • 0ReadersNumber of instances of Johannes's publications in Mendeley libraries. Updated daily.
  • 17PublicationsNumber of items in Johannes's My Publications folder on Mendeley.

Research interests

expressivenesssemanticsnominal process calculiBayesian probabilistic programming

Followers (1)

Following (1)

Publications (5)

  • Maintaining Database Integrity with Refinement Types

    • Baltopoulos I
    • Borgström J
    • Gordon A
    N/AReaders
    N/ACitations
  • Static Equivalence is Harder than Knowledge

    • Borgström J
    N/AReaders
    N/ACitations
  • The SBC User’s Guide

    • Borgström J
    • Briais S
    N/AReaders
    N/ACitations
  • On bisimulations for the spi calculus

    • Borgström J
    • Nestmann U
    N/AReaders
    N/ACitations
    Get full text
  • Verifying a structured peer-to-peer overlay network: the static case

    • Borgström J
    • Nestmann U
    • Onana L
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Research Fellow

Dept. of IT, Uppsala University

September 2011 - Present

Education history

Docteur ès Sciences

Ecole Polytechnique Fédérale de Lausanne (EPFL)

May 2003 - March 2008(5 years)