{"id":30,"date":"2022-09-02T08:29:16","date_gmt":"2022-09-02T08:29:16","guid":{"rendered":"https:\/\/www.anelalolic.com\/?page_id=30"},"modified":"2026-03-30T13:00:45","modified_gmt":"2026-03-30T13:00:45","slug":"home","status":"publish","type":"page","link":"https:\/\/www.anelalolic.com\/","title":{"rendered":"Home"},"content":{"rendered":"\n<div class=\"wp-block-group has-background\" style=\"background-color:#ffffffb3\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-columns alignwide is-layout-flex wp-container-core-columns-is-layout-9d6595d7 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<h2 class=\"wp-block-heading\">Affiliation<\/h2>\n\n\n\n<p><a href=\"https:\/\/informatics.tuwien.ac.at\/orgs\/e192\" target=\"_blank\" rel=\"noreferrer noopener\">Institute of Logic and Computation<\/a>, <br><a href=\"https:\/\/www.logic.at\/\" data-type=\"link\" data-id=\"https:\/\/www.logic.at\/\" target=\"_blank\" rel=\"noreferrer noopener\">Theory and Logic<\/a>,<br><a href=\"https:\/\/www.tuwien.at\/en\/\" target=\"_blank\" rel=\"noreferrer noopener\">TU Wien<\/a><br><br>Favoritenstrasse 9-11, E192-05,<br>1040 Vienna, Austria<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Research interests<\/h2>\n\n\n\n<p>My research focuses on (computational) proof theory and automated deduction. I am particularly interested in applications of logic in computer science.<\/p>\n\n\n\n<p>If you are interested in student projects feel free to contact me!<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow\">\n<div style=\"height:16px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n<div class=\"wp-block-image\">\n<figure class=\"aligncenter size-full is-resized\"><img decoding=\"async\" src=\"https:\/\/www.anelalolic.com\/wp-content\/uploads\/2022\/09\/anelaLolic.jpg\" alt=\"\" class=\"wp-image-56\" style=\"width:353px;height:356px\"\/><\/figure>\n<\/div><\/div><\/div>\n<\/div><\/div>\n<\/div>\n<\/div>\n\n\n\n<h4 class=\"wp-block-heading\">Recent and upcoming events and talks<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li>I&#8217;ll present some of my recent work at the Brisbane Logic Workshop on March 4, University of Queensland.<\/li>\n<\/ul>\n\n\n\n<div style=\"height:15px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n<\/div><\/div>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Affiliation Institute of Logic and Computation, Theory and Logic,TU Wien Favoritenstrasse 9-11, E192-05,1040 Vienna, Austria Research interests My research focuses on (computational) proof theory and automated deduction. I am particularly interested in applications of logic in computer science. If you are interested in student projects feel free to contact me! Recent and upcoming events and [&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-30","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/30","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/comments?post=30"}],"version-history":[{"count":73,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/30\/revisions"}],"predecessor-version":[{"id":487,"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/pages\/30\/revisions\/487"}],"wp:attachment":[{"href":"https:\/\/www.anelalolic.com\/index.php\/wp-json\/wp\/v2\/media?parent=30"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}