Viktor Malík

icon indicating an email [email protected]

icon company Red Hat icon location Brno, Czech Republic icon location Software engineer at Red Hat. PhD from Brno University of Technology. Doing BPF tracing, static analysis, formal verification.

Results 1 repositories owned by Viktor Malík

diffkemp

21
Stars
11
Forks
Watchers

Static analysis of semantic differences in kernel versions

verified publisher icon viktormalik