« All Events
Assistant Professor Yasser Shoukry won Category Winner Award at the International Verification of Neural Networks Competition 2022 for the top performing tool in the tllverifybench Benchmark of the VNN competition. Congrats Shoukry!