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