const maryem: Engineer = {
title: "Software Engineer & Researcher",
school: "ENISo — Ecole Nationale d'Ingénieurs de Sousse 🎓",
origin: "Tunisia 🇹🇳",
basedIn: "France 🇫🇷",
interests: [
"Full-Stack Web Development",
"Blockchain & Smart Contracts",
"AI & Digital Trust",
"Security & Formal Verification",
"Financial Compliance (KYC/AML)",
"Digital Identity & SSI",
],
thesis: "Formal Verification of Blockchain Smart Contracts",
superpower: "Turning complex systems into elegant solutions ✨"
};- 🔭 Building full-stack apps and Web3 DApps from idea to deployment
- 🧠 Researching smart contract security, formal verification & DeFi protocols
- ✍️ Writing about AI, blockchain, fintech, and digital identity on LinkedIn
- 🌱 Exploring the intersection of AI × blockchain × trust
- 🤝 Open to collaborating on impactful open-source projects
🧠 Languages
🎨 Frontend
🛠 Backend & APIs
🗄️ Databases
☁️ Cloud & DevOps
⛓️ Blockchain & Web3
📱 Mobile
🫒 Olive Oil Supply Chain DApp · Blockchain × Traceability × Security
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Stack → Solidity · Ethereum · Truffle · Ganache · MetaMask
Goal → End-to-end traceability from olive grove to consumer
Focus → Formal verification of smart contracts (thesis research)
Impact → Eliminates fraud, guarantees authenticity, empowers consumers
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
Exploring the frontiers of AI, blockchain, fintech, and digital trust.
| # | Article | Topic |
|---|---|---|
| 🤖 | In the Age of AI Confusion, Blockchain Is the Shield for Human Creativity | AI × Blockchain |
| 🛡️ | Guarding Your Smart Contracts: Understanding Reentrancy Attacks | Security |
| 🏦 | Understanding KYC & AML: Pillars of Financial Compliance | FinTech |
| 🪪 | Self-Sovereign Identity (SSI): Redefining Digital Identity | Web3 Identity |
| 💸 | Decentralized Finance (DeFi): Revolutionizing the Financial System | DeFi |
| 📜 | Exploring Smart Contract Standards: ERC-20, ERC-721 & More | Smart Contracts |