Skip to main content
2026

Amin Wafi

Ingénieur IA & Machine Learning

I build and ship AI systems. Computer vision, on-device LLMs, developer tools. One rule across all of it: the user's data stays on the user's machine.

Voir mes travaux Me contacter Resume
Athens, Greece · Open to relocation
01

À propos

Je conçois des systèmes d'IA : vision par ordinateur, LLMs embarqués, outils de sécurité pour développeurs. Un principe traverse tout cela : les données de l'utilisateur restent sur sa machine.

Ma thèse soutient que le GDPR et l'entraînement de LLMs à l'échelle frontier sur des données web-scrapées sont structurellement incompatibles. J'écris sur les systèmes d'IA, le droit à la vie privée et la sécurité.

58
tests shell-pilot
0.924
mAP50, CV radiologique
28K
Mots dans la thèse
2026
BSc, University of Derby
PythonPyTorchComputer VisionLLMsDockerC / systemsFormal methodsGDPR / AI governance
Disponible · Juin 2026
Athènes, Grèce · Ouvert à la mobilité
02

Projets phares

01 Developer Tools

shell-pilot

A zsh/bash hook that intercepts every command before it runs. Blocks 14 classes of dangerous commands, corrects typos, and explains failures. Nothing leaves the machine.

58 Tests passing
14 Danger rules
v0.1.0 Version
PythonSQLiteClickRichClaude Haiku APITOML
02 Developer Tools

screenshield

Real-time screen guardian: OCR at 2+ FPS, 12 secret types, Shannon-entropy filtering, meeting-aware escalation. Zero cloud. Zero frames written to disk.

20 Tests
12 Secret types
0 Cloud calls
PythonTesseractOpenCVmssTyperRichpsutil
03 Developer Tools

redact

Dual-engine PII redaction CLI: spaCy NER + Claude run in parallel, spans merged, compare mode shows where each engine fails.

2 Engines
PythonspaCyAnthropic APITyper
04 Computer Vision

Airport X-ray Prohibited-Item Detection

YOLOv8m detector for 5 knife classes in occluded X-ray baggage, mAP50 of 0.924, ablated against YOLOv8s and exported to ONNX + Docker.

0.924 mAP50
1,776 Test images
5 Classes
PythonPyTorchYOLOv8ONNXDockerOpenCV
02.5
Recherche · Thèse 2026

Les limites structurelles de la conformité GDPR dans l'entraînement des LLMs frontier

28K mots
3 références
Annulation contre OpenAI prédite

L'argument : le GDPR et l'entraînement de LLMs à l'échelle frontier sur des données personnelles web-scrapées sont . Le travail relie la recherche sur la mémorisation en ML (Carlini et al.), le droit européen et les droits fondamentaux de la Charte.structurellement incompatibles

J'ai évalué les réponses actuelles de gouvernance à l'aune d'un standard dérivé de la jurisprudence de la CJUE sur la Charte, et prédit que la Cour de Rome annulerait l'amende de 15 M€ du Garante italien contre OpenAI. Ce fut le cas, six semaines après la soumission.

Remède proposé : un modèle de fiducies de données en vertu de l'art. 80(2) du GDPR, avec trois composantes techniques : provenance cryptographique des jeux de données, un registre de données d'entraînement et une interface d'audit de mémorisation.

Lire la thèse

Cadres testés

01 EDPB Opinion 28/2024
02 CNIL 2025 Guidelines
03 EU AI Act Art. 53
04 GDPR Art. 80(2)
05 Charter Fundamental Rights
03

Compétences

01

Languages

Python C C++ SQL Bash
02

AI / ML

PyTorch Hugging Face YOLOv8 ONNX OpenCV scikit-learn RAG Fine-tuning LLM APIs spaCy
03

Web & Backend

Flask SQLAlchemy PostgreSQL REST APIs SQLite Jinja2
04

Data

Pandas NumPy Matplotlib LAPACK
05

Infra & Tooling

Docker Linux Git CI/CD GitHub Actions POSIX IPC Make
06

AI Governance

GDPR EU AI Act EDPB PII handling Deployment ethics
07

Formal Methods

CSP-M FDR4 model checking Trace refinement Concurrency verification
04

Autres travaux

01

mirror-game

AI/ML Coming Soon

A real-time AI debate arena: argue against Claude Sonnet 4.6, live-scored across 3 rounds, with a Three.js WebGL stage and Supabase spectator mode.

  • · Claude Sonnet 4.6 debate endpoint with streaming responses and graceful mock fallback
  • · State machine across 6 screens: home → setup → debate → result → spectator-setup → spectator-debate
  • · React Three Fiber WebGL scene morphs between 3 modes (home, debate, result) with winner reveal animation
  • · Supabase real-time backend: transcript storage, live spectator updates, vote tallying
  • · Framer Motion screen transitions; Tailwind CSS v4; TypeScript strict throughout
Next.js 15React 19TypeScriptThree.jsSupabaseAnthropic APITailwind v4
02

mocap-sandbox

AI/ML Travaux universitaires

Real-time skeletal pose tracking from webcam using MediaPipe PoseLandmarker with OpenCV skeleton overlay.

  • · MediaPipe PoseLandmarker (pose.task model, VIDEO mode, num_poses=1)
  • · Real-time OpenCV skeleton overlay with frame-indexed timestamp
  • · Graceful exit handling; runs on Python 3.13
PythonMediaPipeOpenCVNumPy
03

ElegantDine

Web

Flask restaurant-management app with reservations, order status workflow, and RBAC. Deployed on Render with PostgreSQL.

  • · Role-based auth (Flask-Login)
  • · Order status state machine
  • · PostgreSQL/SQLite auto-fallback
  • · Deployed on Render
PythonFlaskSQLAlchemyPostgreSQL
04

Pandemic Resilience System

Web Travaux universitaires

Multi-role Flask platform with encryption at rest, FHIR vaccination records, and purchase-limit enforcement.

  • · Encryption at rest for sensitive identifiers
  • · Werkzeug password hashing + RBAC
  • · FHIR-JSON vaccination records
  • · Full audit logging
PythonFlaskSQLAlchemyCryptographyBootstrap
05

Security Management Reports

Security Travaux universitaires

Consultant-style authentication review (6 password managers, FIDO2, PCI-DSS) and the 2025 M&S ransomware post-mortem mapped to ISO 27001.

  • · Evaluated 6 password managers + 2 MFA bypass techniques
  • · Reconstructed Scattered Spider attack chain
  • · Mapped failures to ISO 27001 / NIST
  • · Costed remediation programme
PCI-DSSISO 27001NISTFIDO2UK GDPR
06

Systems Programming

Systems Travaux universitaires

POSIX shared memory + semaphores in C, a Linux loadable kernel module, and LAPACK benchmarking across 4 environments with Docker.

  • · POSIX shared memory + named semaphores with clean teardown
  • · Loadable Linux kernel module
  • · LAPACK solver verified to machine epsilon
  • · Reproducible across 4 environments
CBashPOSIX IPCLinux kernelLAPACKDocker
07

Formal Verification (CSP-M / FDR)

Formal Methods Travaux universitaires

CSP-M models in FDR proving a banking security breach and Dekker's algorithm failing safety vs liveness under compiler optimisation.

  • · Trace refinement proving a breach testing could not catch
  • · Mutual exclusion, deadlock, divergence checks
  • · Safety failure (Opt A) vs liveness failure (Opt B)
CSP-MFDR4ConcurrencyFormal methods
05

Contact

Canal ouvert

Je termine mon diplôme en 2026 et je recherche des postes en IA et développement logiciel. Ouvert à la mobilité géographique. Si vous construisez quelque chose d'intéressant, je veux en entendre parler.

Envoyer un email