Pavel

Senior Software Engineer with 10+ years building distributed .NET systems in F# and C#. Experienced in event-driven platforms, CQRS, and reproducible infrastructure. Knowledgeable in all aspects of software development, including backend, frontend, and cloud, delivering maintainable, production-ready solutions.
Skills
- Languages: F#, C#, SQL, C++, Rust, Lua, Bash, PowerShell
- Backend: Akka.NET, Giraffe, ASP.NET Core, gRPC, REST/HATEOAS, WebSockets, SignalR, WebRTC, OAuth2/OIDC, SSO/SAML, RBAC, TLS, GPG, YubiKey, SOPS, xUnit, NUnit, FsCheck, Expecto, OpenTelemetry, CQRS/Event Sourcing, Domain-Driven Design (DDD)
- Frontend: Fable, Sutil, Avalonia, MAUI/Xamarin.Forms, WPF, SkiaSharp, TailwindCSS/DaisyUI, HTMX, Astro, Next.js
- DevOps: Nix, Docker/OCI, CI/CD pipelines, compiler tooling, git, integration & hardware-in-the-loop testing
- Infra: NixOS, Linux, Azure, AWS, Kubernetes, Nomad, nginx, Authentik, PostgreSQL, ClickHouse, Redis, MQTT, Kafka, Grafana