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