PhD student at the Faculty of Information Technology Brno University of Technology and a Researcher at Oracle Labs. Static Analysis | Compilers | VMs