Research Group
Pavol is a researcher in theoretical computer science with a primary focus on foundational aspects, namely formal methods. His experience includes formal languages, automata theory, game theory, and applications of logic to computer science. He is also interested in knowledge representation, abstract argumentation, and linguistics. Pavol holds a Master of Science degree from the University of Oxford in Mathematics and Foundations of Computer Science. He graduated with distinction.