Viktor Malík
Principal Software Engineer at Red Hat
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolViktor Malík is a Principal Software Engineer at Red Hat with 12 years of experience specializing in Linux kernel eBPF tracing, static analysis, and formal verification. He maintains the bpftrace project and leads the Tracing and Partner Services subsystem for the Core Kernel in RHEL, bridging upstream development with enterprise distribution. Viktor holds a PhD in computer science from Brno University of Technology and has a research background building tools for semantic differencing and formal verification of C programs. His work uniquely blends academic rigor—static code analysis and formal methods—with pragmatic kernel engineering, improving observability tooling and kernel tracing primitives. Colleagues rely on him both for deep technical design and for clarifying complex error cases to make tracing tools more robust and user-friendly.
12 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Brno University of Technology
English, French, Slovak, Czech
Github Skills (5)
c-language10
cprogramming-language10
ebpf10
kernel-mode9
kernel9
Programming languages (7)
Github contributions (5)
bpftrace/bpftrace
Jul 2020 - Jan 2023
High-level tracing language for Linux
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 releases, 1309 reviews, 191 commits in 2 years 6 months
Contributions summary:Viktor primarily contributed to the development of the `bpftrace` tracing language, focusing on enhancing its capabilities and stability. Their work involved implementing features related to kernel function (kfunc) tracing, including filtering non-traceable functions and adjusting argument resolution. They also worked on improving error messages for better user feedback and expanding the language's capabilities through features like wildcard support for tracepoint categories, and supporting multi-matched globbed binaries for both tracepoint and uprobe.
bpfbccebpftracingtracepoints
viktormalik/rhel-kernel-get
Jul 2019 - Sep 2023
A tool for downloading and preparing RHEL-based and upstream Linux kernels.
Contributions:1 review, 3 PRs, 15 pushes in 4 years 3 months
downloadingrhellinuxupstreamkernels
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.