David Formánek is a last-year student of IT Security at Faculty of Informatics in Brno. In 2012, he was selected in a competition for talented students and he has been helping with security in Y Soft since that time. In particular, he has been integrating static analysis tools to development processes. He is also contributing to FindSecurityBugs - the FindBugs plugin searching for security weaknesses in Java applications.