Grants
Three VR grants awarded to the group!
The Swedish Research Council (VR) has awarded a starting grant to Prashant Singh (Bayesian Inference), and project grants to Andreas Hellander (Model Exploration) and Carl Nettelblad (Scalable Code Verification). Congratulations!