BEKZAT SKAKOV
Software engineer into intelligent systems, thoughtful design, and simple solutions to hard problems. I work in short loops: build, ship to real users, learn, repeat.
# work
- 2026-now
Software Engineer @ Reasonbase
Hybrid agent system that offloads hallucination-sensitive reasoning to the Z3 formal engine.
- 2024-2025
R&D Software Engineer @ TEXER.AI
Autonomous debugging agent for hardware designs: 91% pass@5 on NVIDIA's CVDP benchmark, +35% over the baseline.
- 2024
Research Assistant @ Micro Architecture Verification Center
LLM-powered mutation testing for hardware verification.
# paper
- 2025
Firefly: Shedding Light on Verification Gaps using LLM-Powered Mutation Testing
ACM/IEEE MLCAD 2025, Santa Cruz
# made
- ext
Chrome extension that captures and aggregates user interactions. 1.14K+ installs, 290+ weekly users.
- tool
Static type analysis engine for Python, with a VS Code extension that shows inferred types live.
# studied
- 2019-2025
BSc + MSc Computer Science, Nazarbayev University
# links
- githubgithub.com/bekbeis
- linkedinlinkedin.com/in/bekbeis
- emailbekzat.beis@gmail.com