News

Lab for AI Verification (LAIV) is a team of researchers working on a range of inter-disciplinary problems that combine AI and Formal Verification. For example, we seek answers to the following ...
Probability and Statistics Group research at the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh.