Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

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.