7ashraf

german university in cairo ba computer engineering aug. 2023 – present independent smart contract auditor. profile remote 9 contests with 5 grade a qa reports participated in the centrifuge contest, successfully identifying and securing 15 low-risk vulnerabilities, with an available report. demonstrated expertise in formal verification by writing certora verification language code for 25+ functions in two contests, including detection of main 3 mutations and other hiding mutations, earning an award of over 300 usd. engaged in the maia dao contest, contributing findings of a grade a comprehensive qa report covering 18 low-risk vulnerabilities. made it to the leaderboard on the ebtc contest, writing a qa report containing 20 low-risk vulnerabilities and formally verifying ebtc (erc20) and 4 other contracts using certora verification language. mercatura forums blockchain developer intern (rust) cairo, eg developed 10+ mini projects in rust in order to learn about the language, various crates, and technological use cases. github dive deep into rust language features and idioms, practicing concepts like ownership, lifetimes, and async programming, with a focus on applying these to blockchain development. gdg-guc blockchain development and security head cairo, eg develop comprehensive curriculum modules that cover blockchain fundamentals, smart contract development, and decentralized application (dapp) deployment using solidity. emphasize hands-on workshops and practical exercises to ensure committee members gain proficiency in solidity programming and understand the nuances of secure smart contract development.