Tomas is a researcher of the VeriFIT group (BUT FIT). His main focus is on static and dynamic performance analysis. In particular, he develops novel techniques for efficient performance measurement; effective interpretation and modeling; and adapting some recent techniques, such as fuzzing, for performance analysis. He is the main author of the Perun tool.