geniuses.team↗

Initialize Sequence

DANIEL
COHEN

AI-Augmented Systems Architect | Ring-0 to Cloud

Bridging the gap between bare-metal silicon and scalable cloud infrastructure. Leveraging Generative AI as an orchestration engine to accelerate complex R&D cycles—from mathematically-verified programming languages to full-stack web architectures.

[email protected] Israel (+972-53-524-6605) geniuses.team

Scroll to explore

01 / LANGUAGE CREATOR

Aura

The First Mathematically Proven AI-Native Language

Architected for the 2026 landscape where memory safety is baseline and logical safety is the differentiator. Features a Z3-backed verification engine enforcing invariants and shape-safe AI inference at the language level.

  • Built custom LLVM backend to compile AI-native constructs.
  • Lumina Sentinel: Formal verification for UI geometry correctness.
  • Explainable verification workflows mapping SMT-solver counterexamples.
EXPLORE AURA
∀x : T. P(x) ⊢ ∃y. Q(x, y)
_
02 / CORE SYSTEMS

AetherOS

Bare-Metal AI Operating System

Developed a custom bare-metal OS in Rust targeting x86_64, specifically optimized for deterministic local AI inference.

  • Reverse-engineered Intel Gen9 iGPU hardware for custom DMA driver.
  • Achieved direct EU (Execution Unit) compute access without a traditional OS stack.
  • Utilized AI Orchestration to synthesize Intel PRMs and debug Ring-0 hardware states.
VIEW SHOWCASE
03 / ORCHESTRATION

Cloud Infra

Full-Stack & DevOps Architect

Architected and deployed highly responsive full-stack applications integrating various databases, while managing infrastructure across multiple environments.

  • Cloudflare Edge/DNS routing, multi-VPS Linux environments.
  • Full-stack React and Node.js architectures with SQL/NoSQL.
  • Leveraged AI to rapidly author robust CI/CD pipelines & automation scripts.

Architecture Map

AI Systems

Python (LLM Integration)Inference PipelinesAgent WorkflowsEvaluation FrameworksPrototyping to Prod

Core Systems

OS Dev (Ring-0)DMA / PCIeFormal Verification (Z3)Memory Safety

Languages & Compilers

Aura (Creator)RustC / C++x86 AssemblyLLVMSMT-Lib

Cloud & Full-Stack

React / Node.jsDocker / K8sCI/CD AutomationLinux VPSCloudflare EdgeSQL / NoSQL

Timeline

2022 — Present

Technical Instructor & Programming Lecturer

Teaching advanced programming and CS fundamentals to gifted youth. Translating complex low-level concepts into actionable knowledge. Simplifying the bridge between high-level logic and bare-metal constraints.

2020 — Present

Systems & IT Administrator

Managing full-stack technological infrastructure. Ensuring reliability and high availability for mission-critical systems. Hands-on hardware/software troubleshooting and infrastructure automation.

2026

DevOps Engineer Certification

TESI - The External Studies Institute

600 Academic Hours. Intensive training covering advanced CI/CD pipelines, container orchestration (Docker/Kubernetes), and scalable cloud architecture.

2015 — 2018

Military Technical Training

IDF Technical Training Programs

Specialized training in systems administration, network security, and mission-critical infrastructure maintenance.