![](http://qavas.cs.ox.ac.uk/wp-content/uploads/2020/11/frog-881654_1920.jpg)
FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning
FUN2MODEL is a five-year project at the Department of Computer Science, University of Oxford, funded by a £2.4m European Research Council Advanced Investigators Grant and led by Marta Kwiatkowska with Dave Parker, University of Birmingham, as external collaborator. The project started on 1st October 2019.
![](http://qavas.cs.ox.ac.uk/wp-content/uploads/2020/11/traffic-light-1360645.jpg)
Mobile Autonomy: Enabling a Pervasive Technology of the Future
Safety, Trust and Integrity is one theme of the EPSRC-funded programme grant led by Paul Newman (Engineering Science), with co-investigators Ingmar Posner (Engineering Science), Niki Trigoni and Marta Kwiatkowska (Computer Science).