Viktor is a senior software engineer in the Core Kernel Engineering team where his main focus is on the BPF technology and its usage for observability of Linux systems. He also has a strong background in static analysis and formal verification of software and is currently finishing his PhD in this area at Brno University of Technology.