Explore

Team

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

Software

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

Publications

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

News

AISEC Project update

AISEC & LAIV seminars over the past year

Talks

Professor Guy Katz: Verifying Recurrent Neural Networks using Invariant Inference

Professor Marco GaboardiFormal Verification of Higher-order Probabilistic Programs

See more AISEC talks
Free Joomla! templates by Engine Templates