Register
Register
Register

ExpertiseUpdated on 24 March 2026

AI Agent Safety, Formal Verification & EU AI Act Compliance

Founder at Aisophical SRL

Bucharest, Romania

About

Deep expertise in making autonomous AI agents accountable and verifiable. We combine eBPF kernel observation, OPA/Rego policy enforcement, Z3 SMT formal verification, and zero-knowledge proofs for training data compliance. Published research: arXiv:2603.21149 + 4 Zenodo papers. Production experience: 73 autonomous agents, 2,830+ audited events, zero violations.

Field

  • Artificial Intelligence (AI)
  • Big data & analytics
  • Cloud computing
  • Cybersecurity
  • Software technologies
  • Health
  • Governance and public services
  • Responsible research and innovation

Similar opportunities

  • Project cooperation

    Seeking consortium partners for HORIZON-CL4-2026-05-DIGITAL-EMERGING-02

    Octavian Untilă

    Founder at Aisophical SRL

    Bucharest, Romania

  • Expertise

    Executive Governance Infrastructure for Trustworthy AI and Autonomous Agents

    • Cybersecurity
    • Cloud computing
    • Big data & analytics
    • Language Technologies
    • Software technologies
    • Artificial Intelligence (AI)

    Yvette Hensen

    Founder & Executive Governance Strategist at Cyntra Insights

    Zeist, Netherlands

  • Project cooperation

    8peaks: Securing European Sovereignty in the Age of Autonomous AI

    • HORIZON-CL4-2026-04-DATA-02: Open Internet Stack Sovereign Solutions
    • HORIZON-CL4-2026-04-DIGITAL-EMERGING-19: Challenge-Driven GenAI4EU Booster
    • HORIZON-CL4-2026-02-DIGITAL-EMERGING-53: Innovative AI methods and technologies for the process industries
    • HORIZON-CL4-2026-04-HUMAN-01: Developing and demonstrating core technologies for Virtual Worlds and Web 4.0
    • HORIZON-CL4-2026-02-DIGITA-EMERGING-51: AI improved advanced manufacturing and production processes in factories
    • HORIZON-CL4-2026-04-DIGITAL-EMERGING-09: Advanced Local Digital Twins using AI for Early Warning and Preparedness
    • HORIZON-CL4-2026-05-DIGITAL-EMERGING-02: Next-Generation AI Agents for Real-World Applications in the Apply AI sectors
    • HORIZON-CL4-2027-04-DIGITAL-EMERGING-04: Apply AI: Challenge-Driven AI Innovation Booster in Apply AI prioritised sectors
    • HORIZON-CL4-2027-02-DIGITA-EMERGING-52-two-stage: New approaches for Human/AI collaboration for the workforce of the future
    • HORIZON-CL4-2026-04-DIGITAL-EMERGING-08: Apply AI: Robotics for Manufacturing: Advancing Core Skills through Technical Challenges
    • HORIZON-CL4-2026-04-DIGITAL-EMERGING-01: Apply AI: Pilot of the “Science for AI” Pillar of RAISE (“Resource for AI science in Europe”)

    Tolga Celtik

    CEO at 8peaks

    Antwerp, Belgium