Stella Simic is currently a GPU Formal Verification Engineer at AMD, having held the position since 2025. Previously, Stella served as a CPU Formal Verification Engineer at Qualcomm and was a Postdoctoral Research Associate at the University of Oxford, focusing on formal verification and synthesis methods for control systems. Stella completed a PhD in Computer Science, emphasizing Formal Verification and related techniques, and holds a Master's degree in Mathematics with honors. Stella has also contributed as a visiting PhD student at GSSI and a research collaborator at Università degli Studi di Trieste.
This person is not in the org chart
This person is not in any teams
This person is not in any offices