Meet the AISEC team, including both our core members and our external collaborators.


Discover the software that we have have developed to improve the AI verification.


Explore our research papers that have come out of the AISEC project.

News and blog

AISEC seminar: Verifying Recurrent Neural Networks using Invariant Inference

This week's seminar is a talk by Dr Guy Katz on his work on verifying properties of recurrent neural networks.   (

AISEC blog: Introducing policies for neural networks

One of the key advantages of neural networks over other traditional algorithms is their ability to learn models for data that we ourselves as...

AISEC seminar: An introduction to algebraic routing theory

This week's seminar is a talk by Matthew Daggitt on his PhD work on the verification of computer (not neural!) networks routing protocols...
Free Joomla! templates by Engine Templates