LAIV’s second Research Grant

LAIV team won its second research grant: CONVENER: Continuous Verification of Neural Networks, funded by the UK Research Institute in Verified Trustworthy Software Systems (VETSS) , as part of “Digital Security Through Verification” call. Grant holders: E.Komendantskaya and D.Aspinall, named RAs: Wen Kokke and Daniel Kienitz.

Leave a Reply