Two projects have been granted to KTH faculty working on software technology:

  • Reconciling Database Access Control and Information Flow Control”, from Musard Balliu,
  • Differentiable Probabilistic Programming Languages“, from David Broman.