Mark Chevallier passes his second year PhD review
Mark successfully passed his second year PhD review on formal verification applied to machine learning. His panel consisted of Pavlos Andreadis, Paul Jackson and Jacques Fleuriot. Congratulations to Mark!