Static Software Testing Software Testing Types, Techniques and Tactics
Biography
I’m a PhD candidate at Griffith University researching how Python can be made safer and more reliable for safety-critical applications. Python is widely loved for its readability and rich ecosystem, but its dynamic nature makes it difficult to use in domains where software failures can have serious consequences, such as aerospace, medical devices, and autonomous systems. My work explores enhancements to the language and its tooling that bring stronger guarantees of correctness while preserving the qualities that make Python so productive. I’m particularly interested in bridging the gap between modern development practices and the rigorous demands of safety-critical engineering
