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 Author of ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC within the Tool Demonstrations-track
ICST 2022 Author of Model checking C++ programs within the Journal-First Papers-track
ICSE 2019 Author of SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer within the Demonstrations-track
ESEC/FSE 2018 Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track