I build resilient software
& explainable AI.
I design software and explainable AI that's built to be understood, verified, and trusted.
Sixteen years building high-load platforms in PHP, Python, Go & JavaScript — now focused on explainable AI for cybersecurity: detection systems that are data-driven, verifiable, and built to be understood.
Engineering that lasts, research that looks ahead.
I've spent sixteen years building for the web — from custom CMS engines and e-commerce platforms to real-time dating networks serving millions. I lead teams, architect for scale, and stay close to the code.
Today I split my time between senior product work at Killing Kittens and doctoral research in cybersecurity AI — fusing machine learning with symbolic and formal methods to detect intrusions in satellite communication systems.
A deep, polyglot toolkit — chosen for the problem, not the hype.
Neurosymbolic intrusion detection for satellite systems.
At the V.M. Glushkov Institute of Cybernetics, NAS of Ukraine, my doctoral research fuses machine learning with symbolic and formal methods to secure satellite communication systems — detection that is data-driven, explainable, and formally checkable against a defined threat model.
Sixteen years of high-load software engineering, now turned toward applied cybersecurity, formal verification, and machine learning for security.
Neurosymbolic IDS for satellite communication networks — LSTM-based sequence models fused with graph-based logical inference. A pipeline that is data-driven and explainable, with detection logic formally checkable against a defined threat model.
Symbolic execution, SMT-based reasoning and distributed execution on HPC infrastructure — including control-flow-graph recovery for dynamically loaded code via symbolic library resolution, applied to malware analysis and software supply-chain security.
Selected publications & talks
Let's build something
worth shipping.
Open to senior engineering roles, contract work, and research collaboration. Use the form below or one of these: