Rafael Menezes

Mr, MSc

If you made any changes in Pure these will be visible here soon.

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.



Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 10 - Reduced Inequalities

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 Sep 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


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