MARATTO
UniversitiesHelwan UniversityMahmoud Abdelgawad
Active, last published 2026

In formal methods in verification

Mahmoud
Abdelgawad

ScholarScholar

Research focused on Formal Methods in Verification and adjacent fields.

Claim Your Profile

4

H-index

43

Citations

Mahmoud has not officially claimed their profile. If you are Mahmoud, claim it free.

Claim Your Profile
Pioneer

Pioneer

LOCKED

Pathfinder

Pathfinder

LOCKED

Scholar

Scholar

EARNED

Innovator

Innovator

LOCKED

Inventor

Inventor

LOCKED

Catalyst

Catalyst

LOCKED

Expert

Expert

UPGRADE

01 · About the work

What I study

ahmoud Abdelgawad is a researcher working on Formal Methods in Verification. A fuller summary will appear once they update their profile.

02 · Reach

Publication output and reach

Mahmoud's work has been cited 43 times across 1 active year. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.

03 · Research focus

Topics

Formal Methods in Verification×4Software Testing and Debugging Techniques×4Risk and Safety Analysis×4Access Control and Trust×3Advanced Authentication Protocols Security×3
04 · Where I am

Affiliations

Affiliation on published researchHelwan University, EgyptDrawn from the institution listed on this researcher’s published work.
05 · Selected work

Recent publications

1 work

Expert Academic Profiles go further

Citation trend analytics, exportable publication records, and direct enquiry routing from industry and funders.

Explore Expert

Are you Mahmoud?

Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.

African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.

Claim Your Profile

Free to claim · takes a minute to verify it’s you