Pavol is a 3rd year PhD student at the ETH Zurich advised by Martin Vechev. His research is spanning the areas of programming languages, program analysis and machine learning. In particular, he focuses on creating new kinds of techniques and tools based on probabilistic learning from large codebases consisting of millions lines of code. Such tools can help us to solve important software tasks that are beyond the reach of existing techniques and yet are required daily in writing, understanding, porting or debugging programs.