Team
Mikhail R. Gadelha
Brazilian software engineer with a PhD in Formal Methods.
Manaus, Brazil
I’m passionate about software verification and FOSS development. At Igalia since May 2021.