Skip to content

Johannes Borgström

  • Docteur ès Sciences
  • Research Fellow
  • Dept. of IT, Uppsala University
  • 17PublicationsNumber of items in Johannes's My Publications folder on Mendeley.
  • 1Followers

Research interests

expressivenesssemanticsnominal process calculiBayesian probabilistic programming

Groups

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

Docteur ès Sciences

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

May 2003 - March 2008(5 years)