{"id":18,"date":"2025-09-15T18:57:12","date_gmt":"2025-09-15T18:57:12","guid":{"rendered":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/?page_id=18"},"modified":"2026-02-01T07:26:42","modified_gmt":"2026-02-01T07:26:42","slug":"svancara","status":"publish","type":"page","link":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/","title":{"rendered":"home"},"content":{"rendered":"\n<div style=\"height:10px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n<nav class=\"is-responsive wp-block-navigation is-layout-flex wp-block-navigation-is-layout-flex\" aria-label=\"Navigation\" \n\t\t data-wp-interactive=\"core\/navigation\" data-wp-context='{\"overlayOpenedBy\":{\"click\":false,\"hover\":false,\"focus\":false},\"type\":\"overlay\",\"roleAttribute\":\"\",\"ariaLabel\":\"Menu\"}'><button aria-haspopup=\"dialog\" aria-label=\"Open menu\" class=\"wp-block-navigation__responsive-container-open\" \n\t\t\t\tdata-wp-on-async--click=\"actions.openMenuOnClick\"\n\t\t\t\tdata-wp-on--keydown=\"actions.handleMenuKeydown\"\n\t\t\t><svg width=\"24\" height=\"24\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 24 24\" aria-hidden=\"true\" focusable=\"false\"><rect x=\"4\" y=\"7.5\" width=\"16\" height=\"1.5\" \/><rect x=\"4\" y=\"15\" width=\"16\" height=\"1.5\" \/><\/svg><\/button>\n\t\t\t\t<div class=\"wp-block-navigation__responsive-container\"  id=\"modal-1\" \n\t\t\t\tdata-wp-class--has-modal-open=\"state.isMenuOpen\"\n\t\t\t\tdata-wp-class--is-menu-open=\"state.isMenuOpen\"\n\t\t\t\tdata-wp-watch=\"callbacks.initMenu\"\n\t\t\t\tdata-wp-on--keydown=\"actions.handleMenuKeydown\"\n\t\t\t\tdata-wp-on-async--focusout=\"actions.handleMenuFocusout\"\n\t\t\t\ttabindex=\"-1\"\n\t\t\t>\n\t\t\t\t\t<div class=\"wp-block-navigation__responsive-close\" tabindex=\"-1\">\n\t\t\t\t\t\t<div class=\"wp-block-navigation__responsive-dialog\" \n\t\t\t\tdata-wp-bind--aria-modal=\"state.ariaModal\"\n\t\t\t\tdata-wp-bind--aria-label=\"state.ariaLabel\"\n\t\t\t\tdata-wp-bind--role=\"state.roleAttribute\"\n\t\t\t>\n\t\t\t\t\t\t\t<button aria-label=\"Close menu\" class=\"wp-block-navigation__responsive-container-close\" \n\t\t\t\tdata-wp-on-async--click=\"actions.closeMenuOnClick\"\n\t\t\t><svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 24 24\" width=\"24\" height=\"24\" aria-hidden=\"true\" focusable=\"false\"><path d=\"m13.06 12 6.47-6.47-1.06-1.06L12 10.94 5.53 4.47 4.47 5.53 10.94 12l-6.47 6.47 1.06 1.06L12 13.06l6.47 6.47 1.06-1.06L13.06 12Z\"><\/path><\/svg><\/button>\n\t\t\t\t\t\t\t<div class=\"wp-block-navigation__responsive-container-content\" \n\t\t\t\tdata-wp-watch=\"callbacks.focusFirstElement\"\n\t\t\t id=\"modal-1-content\">\n\t\t\t\t\t\t\t\t<ul class=\"wp-block-navigation__container is-responsive wp-block-navigation\"><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/\"><span class=\"wp-block-navigation-item__label\">Home<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/teaching\/\"><span class=\"wp-block-navigation-item__label\">Teaching<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/publications\/\"><span class=\"wp-block-navigation-item__label\">Publications<\/span><\/a><\/li><li class=\" wp-block-navigation-item wp-block-navigation-link\"><a class=\"wp-block-navigation-item__content\"  href=\"https:\/\/ktiml.mff.cuni.cz\/~svancara\/thesis_topics\/\"><span class=\"wp-block-navigation-item__label\">Thesis topics<\/span><\/a><\/li><\/ul>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div><\/nav>\n\n\n<hr class=\"wp-block-separator alignwide has-alpha-channel-opacity\"\/>\n\n\n\n<h3 class=\"wp-block-heading has-text-align-center\" style=\"padding-top:var(--wp--preset--spacing--20);padding-bottom:var(--wp--preset--spacing--20)\"><a href=\"https:\/\/www.mff.cuni.cz\/cs\/fakulta\/organizacni-struktura\/lide?hdl=9877\" data-type=\"link\" data-id=\"https:\/\/www.mff.cuni.cz\/cs\/fakulta\/organizacni-struktura\/lide?hdl=9877\">RNDr. Ji\u0159\u00ed \u0160vancara. Ph.D.<\/a><\/h3>\n\n\n\n<p class=\"has-text-align-center\" style=\"font-size:clamp(14px, 0.875rem + ((1vw - 3.2px) * 0.104), 15px);\">Assistant professor<\/p>\n\n\n\n<p class=\"has-text-align-center\" style=\"font-size:clamp(14px, 0.875rem + ((1vw - 3.2px) * 0.104), 15px);\">Charles University<br>Faculty of Mathematics and Physics<\/p>\n\n\n\n<p>I am an assistant professor at <a href=\"https:\/\/www.ktiml.mff.cuni.cz\/en\" data-type=\"link\" data-id=\"https:\/\/www.ktiml.mff.cuni.cz\/\">Department of Theoretical Computer Science and Mathematical Logic<\/a>, <a href=\"https:\/\/www.mff.cuni.cz\/en\" data-type=\"link\" data-id=\"https:\/\/www.mff.cuni.cz\/en\">Faculty of Mathematics and Physics<\/a>, <a href=\"https:\/\/cuni.cz\/UKEN-1.html\" data-type=\"link\" data-id=\"https:\/\/cuni.cz\/UKEN-1.html\">Charles University<\/a>. My main research interest is in multi-agent pathfinding, specificaly via reduction to other formalisms such as Boolean satisfiability (SAT). The problem is closely realted to otpimization and robotics. My other interests include combinatorial search, optimization, and nature-inspired algorithms.<\/p>\n\n\n\n<p>I got my PhD in 2020 from Charles University under the supervision of <a href=\"https:\/\/ktiml.mff.cuni.cz\/~bartak\/\">Prof. Roman Bart\u00e1k<\/a>. The topic of my thesis was <a href=\"https:\/\/dspace.cuni.cz\/handle\/20.500.11956\/123554\">Multi-agent Path Finding<\/a>.<\/p>\n\n\n\n<p>I am teaching practical classes on AI, logic, and algorithms. For more details, see the teaching section. If you are a student interested in supervision for an individual software project (ro\u010dn\u00edkov\u00fd projekt), or bachelor&#8217;s\/master&#8217;s thesis, see the thesis topics section. This section will be updated with my current interests and ideas.<\/p>\n\n\n\n<p><strong>News<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>I am organising the first iteration of the <a href=\"https:\/\/sites.google.com\/view\/eurmapf25\">European workshop on Multi-agent Pathfinding<\/a> at ECAI 2025.<\/li>\n<\/ul>\n\n\n\n<p><strong>Contacts<\/strong><\/p>\n\n\n\n<p>svancara@ktiml.mff.cuni.cz<br>office s206<\/p>\n\n\n\n<p><a href=\"https:\/\/scholar.google.com\/citations?user=M-dhf0k-ivAC&amp;hl=en&amp;oi=ao\">Google Scholar<\/a><br><a href=\"https:\/\/orcid.org\/0000-0002-6275-6773\">ORCID<\/a><\/p>\n\n\n\n<div style=\"height:50px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>RNDr. Ji\u0159\u00ed \u0160vancara. Ph.D. Assistant professor Charles UniversityFaculty of Mathematics and Physics I am an assistant professor at Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University. My main research interest is in multi-agent pathfinding, specificaly via reduction to other formalisms such as Boolean satisfiability (SAT). The problem is [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-18","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/18","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/comments?post=18"}],"version-history":[{"count":15,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/18\/revisions"}],"predecessor-version":[{"id":119,"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/pages\/18\/revisions\/119"}],"wp:attachment":[{"href":"https:\/\/ktiml.mff.cuni.cz\/~svancara\/wp-json\/wp\/v2\/media?parent=18"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}