Mr Rafael Menezes

View graph of relations


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.




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

Education / academic qualifications

  • 2021 - Master of Science, Informatics, Federal University of Amazonas (2019 - 2021)
  • 2017 - Bachelor of Science, Computer Science, Federal University of Roraima (2013 - 2017)

Related information


Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Contribution to conferencePaperpeer-review

Research output: Contribution to conferencePaperpeer-review

View all (6)