Nadia Baklanova

Nadia Baklanova is a Senior Verification Engineer at Arm, where they focus on the development of critical software to enhance reliability and safety. Previously, Nadia held various roles, including Safety-critical Software Engineer and Team Leader at Systerel, where they developed automatic train control software and managed development teams. Nadia's academic background includes a PhD in Computer Science from Université Paul Sabatier, where their research centered on formally verified tools for static analysis of multithreaded Java programs. Their earlier experience spans IT and QA engineering positions at companies such as ATAPY Software and unipro.