Pavol Kebis

Position: Research Intern

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.

Selected Projects