Viktor Malík

Since 2017, when he finished his Master's degree at FIT BUT, Viktor has been a Software Engineer at Red Hat. Currently, he is working in the Linux kernel engineering, where he develops and maintains the BPF technology. He is passionate about many advanced tech topics, mainly related to program tracing and analysis. At the same time, Viktor is doing his PhD at FIT BUT where he specializes in formal verification and static analysis of low-level software."