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.
Location
United Kingdom
This person is not in the org chart
This person is not in any teams
This person is not in any offices