ISSTA 2022
Mon 18 - Fri 22 July 2022 Online
Mikhail R. Gadelha

Registered user since Tue 28 Feb 2017

Name:Mikhail R. Gadelha

Mikhail R. Gadelha is a Software Engineer in Igalia, Spain. His research focuses on bounded (and unbounded) model checking, automated testing, and static analysis. Since the completion of his PhD in 2019, Dr. Gadelha in the industry in both AI product development and project management in one of the biggest research institutes in Brazil, Sidia, and now he works developing 32bit support for the JavaScriptCore, the javascript engine in WebKit. Dr. Gadelha has published over 25 peer-reviewed papers in Journals and Conferences; he has an h-index of 8, and eight awards from the International Competition on Software Verification (SV-COMP) 2016-2021. He has international research collaborations with the University of Southampton (UK), University of Manchester (UK), University of Bristol (UK), Federal University of Amazon (Brazil), and University of Stellenbosch (South Africa). Dr. Gadelha also has more than 10 years in software development projects related to mobile phones, set-top boxes, Brazilian digital television standards, and compilers.

Research interests:Bounded (and Unbounded) Model Checking, Automated Testing, Static Analysis.


ISSTA 2022 ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Show activities from other conferences

ISSTA 2022-profile
View general profile