Blog Posts by Josue Nava Bello

Josué has been a part of AdaCore’s certification team since 2022. He has experience in working in certification for the aviation industry for software, hardware, and flight management and guidance functions. At AdaCore, he currently works on tool qualification and supports the run-time certification activities.