For 20+ years I have worked at the intersection of software engineering, verification, DevOps/DevSecOps, embedded systems and regulated software, leading 350+ projects in Static Code Analysis, Dynamic Testing, Unit Testing, Code Coverage, ALM and compliance automation.
Over the last two years, my focus has expanded into AI-native software engineering and Agentic AI: AI coding agents, agentic SDLC workflows, AI-assisted verification, automated code review, compliance agents and AI-driven DevSecOps.
My technical work includes LLM coding agents and harnesses, RAG, MCP, local/offline LLMs, multi-agent workflows, SBOM/SCA, formal methods, Lean 4, Wolfram Mathematica and Yocto/Embedded Linux BSP engineering. I research and publish on agent reliability, token efficiency, self-evaluation bias, security, code quality and transforming research into verified executable systems.
I have conceived, architected and overseen specialized DevSecOps products: Assemblomator, a commercial multi-architecture Assembly Static Code Analysis platform; FixCreator, bridging SAST/SCA with air-gapped local AI remediation for defense and high-security environments; SBOMator, for air-gapped SBOM/SCA and software supply-chain analysis; TSscrutinizer, combining multiple SAST engines with local-LLM analysis; and Yocto BSP Studio, a guided BSP engineering platform codifying expert Yocto workflows from configuration through build, simulation, testing, security and release evidence.
My objective is to bridge deterministic software verification and AI while retaining the isolation, traceability, reproducibility and auditability required by critical systems.
I completed the DevSecOps program at Bar-Ilan University and professional training in ISO 26262 Tool Classification and Qualification, backed by field experience in verification, compliance and tool qualification.
Standards include DO-178C, ISO 26262, ISO 21434, ISO 8800, IEC 61508, FDA/IEC 62304, MISRA C:2025, MISRA C++:2023, AUTOSAR C++14 and CERT C/C++.
Platforms include Linux, Windows, macOS, Yocto/Embedded Linux, VxWorks, INTEGRITY, ThreadX, FreeRTOS/SafeRTOS, µC/OS and Zephyr.
I have been programming since 1981, from the original IBM PC, BASIC, x86 Assembly and Lattice C to today's AI coding agents and formally verified software workflows. responsible as technical lead for ~250 successful integrations projects of various Static Code Analysis systems.