Full Name
Mikhail R. Gadelha
Pronoun/s
He/Him/His
Company/Affiliation
Igalia
Speaker Bio
Mikhail is a compiler engineer at Igalia with a Ph.D. in computer science and over a decade of experience contributing to Clang/LLVM technologies. His open-source contributions extend to projects like WebKit and JavaScriptCore (JSC). Currently, he's focused on adding support for both 32-bit and 64-bit RISC-V in LLVM's libc. His interests also include static analysis and program verification using model checking.
Speaking At
Linkedin
Website
GitHub URL
