Research

My publications are available in my ResearchGate and Google Scholar profiles. They are also available in my Curriculum Lattes (in Portuguese). My research interests are listed below within a brief explanation and current research projects.  

Students are welcome to join our research projects, as well to propose new ones within the scope of my research interests.

If you want to join me for research, send me an email at diogo.mendonca [at] cefet-rj [dot] br.

Research Interests (2023-1):

Blockchain and Decentralized Applications (DApps)

• Software Product Quality.

• Security, Performance, Privacy and Patterns.

• DApp development process, difference from traditional software development processes.

• User Experience and migration process from Web2 to Web3.

• Formal Verification (Literature review and techniques).

Software Quality, Verification and Validation

• Automated Software Analysis in Solidity, JavaScript, Typescript, Python or Rust.

• Verification of the appropriate use of defect test case techniques in an automated test suite.

 Teaching in Software Engineering

• Interdisciplinary: Qualitative Assessment of the Integrated Work applied in GPTI and PSW disciplines

Service:

IEEE Latin America Transactions - Reviewer.

Brazilian Symposium on Software Engineering - Education Track - Program Committee Member.