Welcome, Amy!
I am happy to announce that Amy Stell will join the Software Assurance & Security Research Team as a PhD student.
Amy got her BSc in Computer Science from the University of Exeter. In her BSc project, she formalized neural networks in Isabelle/HOL, and she will continue to develop formal methods for improving the security, safety, and correctness of machine learning during her PHD studies.