Congratulations to Alexandra Mendes for securing funding for the VeriFixer project, a new research project focused on developing automated repair techniques for verification-aware programming languages.
Congratulations to Alexandra Mendes for being one of the two winners of the third edition of the Atlantic Security Award!
