VR Supports Software Technology Research at KTH

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.