My research interests lie in the field of Software Verification, mostly in Model Checking. In this context, I like to research any topic involving applying Model Checking in industrial workflows, e.g.:

• Optimization techniques;
• Verifying Android applications;
• Verifying Firmware code;
• Combining with other techniques e.g. using model checking with a dynamic technique such as fuzzing

Rafael Menezes is a Ph.D. student at The University of Manchester, his main research topic is the use of Model Checking for verifying industrial applications. He also has experience developing static and dynamic verification techniques, being one of the lead developers of ESBMC.