Full-stack developer and PhD student at the University of Debrecen (Doctoral School of Informatics). I build web products for clients and research how to make software delivery verifiable.
Research. Cryptographically verifiable DevSecOps: build provenance, signing, attestations, transparency logs and reproducible builds, measured on real CI/CD pipelines. My MSc work at Sapientia is devsecops-attestation, which records CI/CD security decisions as cryptographically verifiable evidence.
Engineering. TypeScript and React on the front end; Node/Bun, Go, Rust and PostgreSQL behind it. I run my own infrastructure (Forgejo, CI runners, Prometheus/Loki/Grafana, game servers), provisioned with Ansible and updated automatically with rollback.
| Project | What it is |
|---|---|
| AniMathIO | Open-source desktop editor for mathematical animations and videos (Electron, Konva) |
| devsecops-attestation | Signed, verifiable security decisions for CI/CD pipelines |
| Uptimatum | Self-hosted status page platform |
| nodash | Terminal launcher and manager for Node projects, in Rust |
| fetch-ke | Minimal system information CLI for Bash and PowerShell |
| github-repo-visualization | Repositories as a graph, linked by the languages they share |
Most of my code lives on my own Forgejo and is mirrored to GitHub.
Website · Blog · Google Cloud badges · [email protected]
Or from a terminal: curl https://www.kovacsbalinthunor.com/sh