Veai
Lead Software Engineer at Veai.
Seven years in software development, a significant part of it in static program analysis and formal verification.
Since 2023, I have been building AI agents.
