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
Project cooperation
Autonomous Agent Orchestration for Real-World AI (DIGITAL-EMERGING-02)
Kolawole Quadri
Founder & CEO at Veldt Labs Inc.
Charlotte, United States
Project cooperation
Seeking Consortium Partners: Multi-Agent AI Platform for Autonomous Building Operations
- Partner seeks consortium
- HORIZON-CL4-2026-05-DIGITAL-EMERGING-02: Next-Generation AI Agents for Real-World Applications in the Apply AI sectors
Osher Yadgar
Founder & CEO at TendedLoop
Hod HaSharon, Israel