One remit of the Research Institute on Verified Trustworthy Software Systems (VeTSS) is to invite proposals for research on analysis, testing and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications.
The expectation is that VeTSS will receive funding of £0.5M per year for five years from the National Cyber Security Centre to fund research projects. VeTSS will use this funding to support excellent projects that are perhaps more difficult to fund through, for example, EPSRC and industry. The plan is to have annual calls in October for projects starting in April of the following year.
The second call for proposals will be announced shortly in October 2017. This second call will be for projects to start not before April 2018 with flexible end dates.
VeTSS inaugural call for proposals
This initial call received 24 strong proposals of which only 8 could be funded. We are very pleased to announce that the following projects have been selected for funding:
- Mechanising the Metatheory of SQL with Nulls, PI Wilmer Ricciotti, University of Edinburgh.
- Verifying Efficient Libraries in CakeML, PI Scott Owens, University of Kent.
- PrideMM web interface, PI Mark Batty, University of Kent.
- Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via Circus, PI Jim Woodcock, University of York.
- Automated Testing for Web Browsers, PI Benjamin Livshits, Imperial College London.
- Supervectorizer, PI Greta Yorsh, Queen Mary University of London.
- EASTEND: Efficient Automatic Security Testing for Dynamic Languages, PI Dr Johannes Kinder Royal Holloway, University of London.
- Automated Reasoning with Fine-Grained Concurrent Collections, PI Dr Ilya Sergey, University College London.