Rafael Menezes

Mr, MSc

Personal profile

Research interests

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.



Education/Academic qualification

Master of Science, Informatics, Universidade Federal do Amazonas

Feb 2019Jun 2021

Award Date: 1 Aug 2021

Bachelor of Science, Computer Science, Universidade Federal de Roraima

1 Jun 20132 Aug 2017

Award Date: 5 Sept 2017

Areas of expertise

  • QA75 Electronic computers. Computer science
  • QA76 Computer software


  • model-checking
  • static-analysis
  • dynamic-analysis
  • fuzzing
  • program-verification
  • cyber-security


Dive into the research topics where Rafael Menezes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or