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.