Roderick Chapman
rod-chapman
Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.
Amazon Web Services UK
Alejandro R Mosteo
mosteo
Computer Scientist. Mobile robotics researcher. Ada enthusiast.
Universidad de Zaragoza Spain
Richard Wai
Richard-Wai
Passionate champion of high integrity software, Ada, and distributed systems architecture. Founder and Managing Director at ANNEXI-STRAYLINE
@annexi-strayline Toronto, Canada
Anthony Rabine
arabine
Firmware expert, love Qt or ImGui development. I moved to Codeberg for my projects, bye.
D8S EURL - Freelance France