Pavol Kebis
Looking for a PhD starting September 2024
Passionate mathematician and computer scientist equipped with a master’s degree from the University of Oxford. Committed to ongoing learning and research in theoretical computer science. Looking for a PhD in computer science logic from September 2024.
- MSc in Mathematics and Foundations of Computer Science – University of Oxford (with a distinction)
- Bachelor’s in Computer Science - Comenius University, Bratislava (with honours)
- Internship at ISTA under the supervision of Thomas Henzinger
- ICALP 2023 paper
- Master’s thesis supervised by James Worrell
- Bachelor’s thesis supervised by Peter Kostolányi
- More in the CV
Interests
- Logic in computer science
- Reasoning, epistemic logic, multi-agent systems, game theory
- Verification, automata theory