Kamil Dudka joined Red Hat as an intern in 2008 when he was finishing his Master’s degree in Intelligent Systems at Brno University of Technology. In 2009 he started to work on a formal verification tool named Predator, which has won several gold medals in the International Competition on Software Verification (SV-COMP). Since 2011 Kamil develops open source tools for fully automatic static analysis of RPM packages.