Marek Chalupa got his Bachelor’s and Master’s degree in computer science from the Faculty of Informatics of Masaryk University in Brno. During his undergraduate studies, he also worked for Red Hat on the desktop team. Currently, he is a PhD candidate at the Faculty of informatics of Masaryk University and his research focuses on program analysis and verification.