cv

Basics

Name Pavol Kebis
Summary 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.

Education

Work

  • 2024.03 - Present
    Researcher in NLP
    KInIT – Kempelen Institute of Intelligent Technologies
  • 2022.07 - 2022.09
    Scientific Intern in Formal Verification
    ISTA – Institute of Science and Technology Austria
    Research in a team focused on formal verification; my contribution was an algebraic characterisation of a parsing language.

Experience

  • 2020.09 - 2023.06
    Liberal arts college
    Collegium of Anton Neuwirth, Slovakia
    Essay writing; seminars and tutorials; discussing philosophy, art, history.
  • 2016.01 - 2019.06
    Education Volunteer
    Trojsten
    Organiser of a long term competition and organiser of intense week camps for younger students. Within a team of 10 people, we prepared for four times a week camp with a full-time programme and seminars for the best competitors. I commented on more than 200 student’s solutions to physics contests.
  • 2015.09 - 2020.06
    Education Volunteer, Junior Software Engineer
    P-MAT
    Organiser of one-day maths and physics contests for younger students. Backend junior software engineer.

Publications

Awards

Skills

Coding
Python
C++
Java
SQL
Django
Jupyter
HTML, CSS, JS
GIT, Bash

Languages

Slovak
Native speaker
English
Fluent
German
Beginner

Interests

Philosophy
Metaphysics
Analytical Philosophy
Philosophy of Language
Philosophy of Science
Theology
Life
Piano, Guitar, Accordion
Hiking
Board Games

References

Thomas Henzinger
James Worrell