New LAIV members

We welcome several new members to LAIV team: the new cohort of MSc students: Alexandre, Marco Vincent, to work on topics in Neural Net verification, and Wen Kokke (from Edinburgh University) as an RA in the Neural Networks with Security Contracts grant.

Leave a Reply