{"id":157,"date":"2022-10-24T01:03:36","date_gmt":"2022-10-24T01:03:36","guid":{"rendered":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/?page_id=157"},"modified":"2025-11-13T09:43:26","modified_gmt":"2025-11-13T09:43:26","slug":"students","status":"publish","type":"page","link":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/students\/","title":{"rendered":"Students"},"content":{"rendered":"\n<p class=\"has-small-font-size\">Current PhD students:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li><strong>Arie Soeteman<\/strong> (PhD student, Univ. of Amsterdam)<\/li>\n\n\n\n<li><strong>Xi Yang<\/strong> (PhD student, Tsinghua University, co-advising with Fenrong Liu)<\/li>\n<\/ul>\n\n\n\n<p class=\"has-small-font-size\">Former PhD students:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li><strong>Raoul Koudijs<\/strong> (ILLC, 2025, co-advising with Ana Ozaki)<\/li>\n\n\n\n<li><strong>Kun Qian<\/strong> (UC Santa Cruz, 2017, co-advised with Phokion Kolaitis and Wang-Chiew Tan): \u201c<em>Discovering Information Integration Specifications from Data Examples<\/em>\u201d. Currently senior machine learning manager and researcher at Adobe.<\/li>\n\n\n\n<li><strong>Richard Halpert <\/strong>(UC Santa Cruz, 2016, co-advised with Phokion Kolaitis): \u201c<em>Managing Inconsistencies in Data Exchange<\/em>\u201d. Currently associate principal engineer at BD Life Sciences.<\/li>\n\n\n\n<li><strong>Am\u00e9lie Gheerbrant<\/strong> (ILLC, 2010, co-advised with Johan van Benthem): \u201c<em>Fixed Point Logics on Trees<\/em>\u201d. Currently ma\u00eetre de conf\u00e9rences&nbsp;at the University of Paris (IRIF). <\/li>\n<\/ul>\n\n\n\n<p class=\"has-small-font-size\">Former MSc thesis supervised:<\/p>\n\n\n\n<ul class=\"wp-block-list has-small-font-size\">\n<li><strong>Arnar Kristj\u00e1nsson<\/strong> (MSc Logic, UvA 2025). <em>&#8220;Expressive Power of Homomorphism Query Algorithms&#8221;. <\/em>A paper based on the thesis appeared in <a href=\"https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.MFCS.2025.34\">Proceedings of MFCS 2025<\/a>.<\/li>\n\n\n\n<li><strong>Paulius Skaisgiris<\/strong> (MSc Logic, UvA 2025). <em>&#8220;Inductive Learning of Temporal Advice Formulae for Guiding Planners&#8221;<\/em>.<\/li>\n\n\n\n<li><strong>Floris Westerman<\/strong> (MSc Logic, UvA 2024). <em>&#8220;PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables&#8221;<\/em>.<\/li>\n\n\n\n<li><strong>Raufs Du\u0146amalijevs<\/strong> (MSc Logic, UvA 2024). <em>&#8220;Predicate Pushdown in FastLanes&#8221;<\/em>.<\/li>\n\n\n\n<li><strong>Arun Ganguli<\/strong> (MSc Logic, UvA 2024): <em>&#8220;Characterizing Formulas using Post\u2019s Lattice<\/em>&#8220;. <\/li>\n\n\n\n<li><strong>Jesse Comer<\/strong> (MSc Logic, UvA, 2023): &#8220;<em>Homomorphism Counts, Database Queries, and Modal Logics&#8221;. <\/em>A paper based on the thesis appeared in the <a href=\"https:\/\/arxiv.org\/abs\/2404.15421\">Proceedings of AIML 2024<\/a>. Jesse is currently a grad student at UPenn.<\/li>\n\n\n\n<li><strong>Patrik Sestic<\/strong> (MSc Logic, UvA, 2023): &#8220;<em>Unique Characterisability of Linear Temporal Logic<\/em>&#8220;.<\/li>\n\n\n\n<li><strong>Valentino Filipetto <\/strong>(MSc Logic, UvA, 2022): <em>&#8220;Constructing Queries from Data Examples&#8221;<\/em>. Currently software developer at Finaps.<\/li>\n\n\n\n<li><strong>Raoul Koudijs<\/strong> (MSc Logic, UvA, 2022): \u201c<em>Learning Modal Formulas via Dualities<\/em>\u201d. <strong>\ud83e\udd47<\/strong><mark style=\"background-color:#ffdf27\" class=\"has-inline-color\"> 2022 VvL Master&#8217;s Thesis Prize<\/mark>. A paper based on the thesis appeared in<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/3649461\"> ACM Transactions on Computational Logic<\/a>. <\/li>\n\n\n\n<li><strong>Evangelos Tzanis<\/strong> (Msc Logic, UvA, 2005): \u201c<em>Algebraizing Hybrid Logic<\/em>\u201d. Currently a software engineer at the QuantLaw lab, King&#8217;s College, University of London.<\/li>\n<\/ul>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Current PhD students: Former PhD students: Former MSc thesis supervised:<\/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-157","page","type-page","status-publish","hentry","post-preview"],"_links":{"self":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/157","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/comments?post=157"}],"version-history":[{"count":26,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/157\/revisions"}],"predecessor-version":[{"id":579,"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/pages\/157\/revisions\/579"}],"wp:attachment":[{"href":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/wp-json\/wp\/v2\/media?parent=157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}