Viktor Malík

Experience

• 

  Brno University of Technology

  Mar 2015 - Aug 2016

  Research

  Research at VeriFIT research group, Faulty of Information Technology.Working on development of new generation of Predator tool. It is a graph-based tool for automated formal verification of sequential C programs operating with pointers and linked lists.

• 

  Red Hat

  May 2015 - Jul 2016

  Red Hat Lab Internship

  Involved in Red Hat Lab project, which is an initiative of Red Hat Czech to promote collaboration with students and researchers. The program supports joint work of Red Hat engineers, University researchers and students on applied research projects relevant in the open source world.

• 

  DiffBlue

  Aug 2016 - May 2017

  Research Intern

  Research at DiffBlue Ltd. in fields of automated program analysis and verification. Work on static heap and shape analysis of C programs within the 2LS tool, which is a part of the CBMC framework.

• 

  Red Hat

  Jul 2017 - now

  Maintainer and subsystem owner of eBPF tracing in RHEL. Tech lead of the Tracing and Partner Services subsystem of Red Hat Core Kernel. Upstream maintainer of the bpftrace tool. Part of the Core Kernel team, working on BPF tracing in the Red Hat Enterprise Linux kernel. Upstream maintainer of the bpftrace tool. Part of the Core Kernel team, working on BPF tracing in the Red Hat Enterprise Linux kernel. Upstream maintainer of the bpftrace tool. Working as a researcher and software engineer on DiffKemp, a tool for static analysis of semantic changes between different Linux kernel versions.

  • Principal Software Engineer

    Oct 2024 - now

  • Senior Software Engineer

    Jan 2023 - Nov 2024

  • Software Engineer

    Jun 2020 - Dec 2022

  • Software Engineer

    Jul 2017 - May 2020