My main research interests are in the areas of Logic and Verification, including verification of neural networks and other machine learning algorithms, and design of novel programming languages and tools for AI verification. I lead the Lab for AI and Verification (www.LAIV.uk) at Heriot-Watt.