Content by João Pedro Santos Azevedo

Joao Azevedo is a Software Engineer at AdaCore, where he currently leads the GNATfuzz Team. In the last five years working for AdaCore, Joao has been developing critical tools across diverse domains. This includes enhancing IDE capabilities like refactoring tools, formatters and language servers, as well as pioneering dynamic analysis solutions such as GNATfuzz, AdaCore's advanced fuzzing technology for Ada and C.