مهندس ذكاء اصطناعي وتعلم آلي
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.
نبذة عني
أبني أنظمة ذكاء اصطناعي: رؤية حاسوبية، نماذج LLMs على الجهاز، وأدوات أمان للمطورين. مبدأ واحد يجمعها كلها: بيانات المستخدم تبقى على جهازه.
تُجادل أطروحتي بأن GDPR وتدريب نماذج LLMs على نطاق frontier باستخدام بيانات مُجمَّعة من الويب لا يتوافقان هيكليًا. أكتب عن أنظمة الذكاء الاصطناعي وقانون الخصوصية والأمن.
مشاريع مختارة
الحدود الهيكلية لامتثال GDPR في تدريب نماذج LLM الحدية
الحجة: GDPR وتدريب نماذج LLMs على نطاق frontier على بيانات شخصية مُجمَّعة من الويب . تربط الأطروحة أبحاث حفظ النماذج في ML (Carlini et al.) وقانون الاتحاد الأوروبي والحقوق الأساسية للميثاق.متنافيان هيكليًا
اختبرت استجابات الحوكمة الحالية وفق معيار مُشتَق من اجتهادات محكمة العدل الأوروبية في الميثاق، وتنبأت بأن محكمة روما ستُلغي غرامة الـ15 مليون يورو التي فرضها Garante الإيطالي على OpenAI. وقد حدث ذلك فعلًا بعد ستة أسابيع من تقديم الأطروحة.
الحل المقترح: نموذج data trusts استنادًا إلى المادة 80(2) من GDPR، مع ثلاثة عناصر تقنية: إثبات أصل مجموعات البيانات بالتشفير، وسجل لبيانات التدريب، وواجهة تدقيق لقياس الحفظ.
اقرأ الأطروحةالأطر التي تم اختبارها
المهارات
Languages
AI / ML
Web & Backend
Data
Infra & Tooling
AI Governance
Formal Methods
أعمال إضافية
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.
mirror-game
AI/ML Coming SoonA 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
02 mocap-sandbox
AI/ML دراسي Real-time skeletal pose tracking from webcam using MediaPipe PoseLandmarker with OpenCV skeleton overlay.
mocap-sandbox
AI/ML دراسي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
03 ElegantDine
Web Flask restaurant-management app with reservations, order status workflow, and RBAC. Deployed on Render with PostgreSQL.
ElegantDine
WebFlask 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
04 Pandemic Resilience System
Web دراسي Multi-role Flask platform with encryption at rest, FHIR vaccination records, and purchase-limit enforcement.
Pandemic Resilience System
Web دراسي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
05 Security Management Reports
Security دراسي Consultant-style authentication review (6 password managers, FIDO2, PCI-DSS) and the 2025 M&S ransomware post-mortem mapped to ISO 27001.
Security Management Reports
Security دراسي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
06 Systems Programming
Systems دراسي POSIX shared memory + semaphores in C, a Linux loadable kernel module, and LAPACK benchmarking across 4 environments with Docker.
Systems Programming
Systems دراسي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
07 Formal Verification (CSP-M / FDR)
Formal Methods دراسي CSP-M models in FDR proving a banking security breach and Dekker's algorithm failing safety vs liveness under compiler optimisation.
Formal Verification (CSP-M / FDR)
Formal Methods دراسي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)
تواصل معي
أُنهي درجتي العلمية في 2026 وأبحث عن فرص عمل في مجال الذكاء الاصطناعي والبرمجيات. منفتح على الانتقال إلى أي مكان. إذا كنت تبني شيئًا مثيرًا للاهتمام، أريد أن أسمع عنه.
أرسل بريدًا إلكترونيًا