8000 Jackesgamero (Jaime Martinez Gamero) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Jackesgamero's full-sized avatar
15 followers · 8 following
  • Complutense University of Madrid
  • Madrid,Spain

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Jackesgamero

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Jackesgamero/README.md

👋 Hi, I'm Jaime – Blockchain Developer | Solidity + Hardhat | Math & CS

🎓 BSc Mathematics & BSc Computer Science
🔬 Recent project: Using Smart Contracts to generate traceable information concerning SLAs in 6G services
🧪 Dissertation: Application of Constrained Horn Clauses (CHCs) for the analysis and formal verification of smart contracts
🛠️ Stack: Solidity, Hardhat, JavaScript, Ethers.js, formal tools

🌍 Seeking remote opportunities in blockchain, DeFi, or Web3 infrastructure.

📫 Reach me on LinkedIn or Email

Pinned Loading

  1. SmartContracts-for-verification SmartContracts-for-verification Public

    This repository contains smart contracts with vulnerabilities registered in SWC to be analyzed with the smart contract verification tools SolCMC, Certora, eThor, HoRStify, VeriSol-MCE and Securify2

    Solidity

  2. Advanced-SmartContract-Development Advanced-SmartContract-Development Public

    Code developed during Educba's SmartContract development courses available on the Coursera platform

    JavaScript

  3. Solved-ACR-problems Solved-ACR-problems Public

    Validated solutions to some of the problems proposed on the website "Acepta el reto"

    C++ 1

  4. Scratch-Games Scratch-Games Public

    This repository contains some games on scratch website that I made when I was in school

0