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
Expertise
Agentic AI for Edge Orchestration
- Cloud computing
- Software technologies
- Artificial Intelligence (AI)
- Smart Networks and Services (5G, 6G)
Angelos Antonopoulos
R&I Director at Nearby Computing
Barcelona, Spain