{"id":31675,"date":"2024-03-11T11:08:22","date_gmt":"2024-03-11T10:08:22","guid":{"rendered":"https:\/\/kinit.sk\/member\/pavol-kebis\/"},"modified":"2025-03-01T15:49:33","modified_gmt":"2025-03-01T14:49:33","slug":"pavol-kebis","status":"publish","type":"member","link":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/","title":{"rendered":"Pavol Kebis"},"content":{"rendered":"<div id=\"\" class=\"element core-paragraph\">\n<p>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.<\/p>\n<\/div>\n\n<div id=\"projects\" class=\"element acf-loop\"><section id=\"projects\" class=\"loop old \" style=\"background-color: #ebf7f9;\" >\n\t<div class=\"wrapper-out\">\n\t\t<div class=\"wrapper-in\">\n\t\t\t<div class=\"in cf\">\n\t\t\t\t<div class=\"element-inner\">\n\t\t\t\t\t<div class=\"headline\"><h2>Selected Projects<\/h2><\/div>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"loop-wrap loop-Project loop-style1 loop-load_more loop-4 cf\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n<\/div>\n\n\n\n\n\n","protected":false},"featured_media":0,"template":"","meta":{"_acf_changed":false,"footnotes":""},"categories":[76],"class_list":["post-31675","member","type-member","status-publish","hentry","category-natural-language-processing-sk"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Pavol Kebis - KInIT<\/title>\n<meta name=\"description\" content=\"Pavol Kebis is internt at KInIT\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/\" \/>\n<meta property=\"og:locale\" content=\"sk_SK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Pavol Kebis - KInIT\" \/>\n<meta property=\"og:description\" content=\"Pavol Kebis is internt at KInIT\" \/>\n<meta property=\"og:url\" content=\"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/\" \/>\n<meta property=\"og:site_name\" content=\"KInIT\" \/>\n<meta property=\"article:modified_time\" content=\"2025-03-01T14:49:33+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/kinit.sk\/wp-content\/uploads\/2021\/03\/KINIT_Sharepic.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"628\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@kinit\" \/>\n<meta name=\"twitter:label1\" content=\"Predpokladan\u00fd \u010das \u010d\u00edtania\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 min\u00fata\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/clen\\\/pavol-kebis\\\/\",\"url\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/clen\\\/pavol-kebis\\\/\",\"name\":\"Pavol Kebis - KInIT\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/kinit.sk\\\/#website\"},\"datePublished\":\"2024-03-11T10:08:22+00:00\",\"dateModified\":\"2025-03-01T14:49:33+00:00\",\"description\":\"Pavol Kebis is internt at KInIT\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/clen\\\/pavol-kebis\\\/#breadcrumb\"},\"inLanguage\":\"sk-SK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/kinit.sk\\\/sk\\\/clen\\\/pavol-kebis\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/clen\\\/pavol-kebis\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Natural Language Processing\",\"item\":\"https:\\\/\\\/kinit.sk\\\/sk\\\/category\\\/natural-language-processing-sk\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Pavol Kebis\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/kinit.sk\\\/#website\",\"url\":\"https:\\\/\\\/kinit.sk\\\/\",\"name\":\"KInIT\",\"description\":\"Vyu\u017e\u00edvame v\u00fdskum pre \u013eud\u00ed a priemysel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/kinit.sk\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"sk-SK\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Pavol Kebis - KInIT","description":"Pavol Kebis is internt at KInIT","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/","og_locale":"sk_SK","og_type":"article","og_title":"Pavol Kebis - KInIT","og_description":"Pavol Kebis is internt at KInIT","og_url":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/","og_site_name":"KInIT","article_modified_time":"2025-03-01T14:49:33+00:00","og_image":[{"width":1200,"height":628,"url":"https:\/\/kinit.sk\/wp-content\/uploads\/2021\/03\/KINIT_Sharepic.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_site":"@kinit","twitter_misc":{"Predpokladan\u00fd \u010das \u010d\u00edtania":"1 min\u00fata"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/","url":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/","name":"Pavol Kebis - KInIT","isPartOf":{"@id":"https:\/\/kinit.sk\/#website"},"datePublished":"2024-03-11T10:08:22+00:00","dateModified":"2025-03-01T14:49:33+00:00","description":"Pavol Kebis is internt at KInIT","breadcrumb":{"@id":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/#breadcrumb"},"inLanguage":"sk-SK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/kinit.sk\/sk\/clen\/pavol-kebis\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/kinit.sk\/sk\/"},{"@type":"ListItem","position":2,"name":"Natural Language Processing","item":"https:\/\/kinit.sk\/sk\/category\/natural-language-processing-sk\/"},{"@type":"ListItem","position":3,"name":"Pavol Kebis"}]},{"@type":"WebSite","@id":"https:\/\/kinit.sk\/#website","url":"https:\/\/kinit.sk\/","name":"KInIT","description":"Vyu\u017e\u00edvame v\u00fdskum pre \u013eud\u00ed a priemysel","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/kinit.sk\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"sk-SK"}]}},"_links":{"self":[{"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/member\/31675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/member"}],"about":[{"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/types\/member"}],"version-history":[{"count":2,"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/member\/31675\/revisions"}],"predecessor-version":[{"id":35478,"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/member\/31675\/revisions\/35478"}],"wp:attachment":[{"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/media?parent=31675"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/kinit.sk\/sk\/wp-json\/wp\/v2\/categories?post=31675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}