Excited to present my work “What Challenges Do Developers Face When Using Verification-Aware Programming Languages?” at ISSRE’25 in São Paulo, Brazil