Updated 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
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
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