Filip MURLAK

I work at the Institute of Informatics, University of Warsaw.
I did my PhD in Warsaw under the supervision of Damian Niwiński.
Later I was post-doc in the Database Group at the University of Edinburgh.
You can have a look at my CV here.

Contact data

Uniwersytet Warszawski, Instytut Informatyki
ul. Banacha 2, 02-097 Warszawa, Polska
Office: 4580
tel +48 22 55 44 458
fax +48 22 55 44 400
fmurlak at mimuw dot edu dot pl

Research

My main interests include automata, logic, games, and descriptive set theory.
I am a member of the automata group.

Publications

Schema validation via streaming circuits, with Charles Paperman and Michał Pilipczuk, PODS 2016
Vertically acyclic conjunctive queries over trees, with Grzegorz Zieliński, AMW 2016
Reasoning about integrity constraints for tree-structured data, with Wojciech Czerwiński, Claire David, and Paweł Parys, ICDT 2016
Containment of monadic datalog programs via bounded clique-width, with Mikołaj Bojańczyk and Adam Witkowski, ICALP 2015
On the weak index problem for game automata, with Alessandro Facchini and Michał Skrzypczak, WoLLIC 2015
Consistency of injective tree patterns, with Claire David and Nadime Francis, FSTTCS 2014
XML schema mappings: data exchange and metadata management, with Shunichi Amano, Claire David and Leonid Libkin, J. ACM 61(2):12 (2014)
Monadic datalog and regular tree pattern queries, with Filip Mazowiecki and Adam Witkowski, MFCS 2014
Foundations of Data Exchange, with Marcelo Arenas, Pablo Barceló, and Leonid Libkin, Cambridge University Press 2014
Transformation Synthesis from XML Schema Mappings, with Claire David, Piotr Hofman, and Michał Pilipczuk, ICDT 2014
Solutions in XML data exchange, with Mikołaj Bojańczyk and Leszek A. Kołodziejczyk, J. Comput. Syst. Sci. 79(6):785-815 (2013). Full version of the ICDT 2011 paper.
Rabin-Mostowski index problem: a step beyond deterministic automata, with Alessandro Facchini and Michał Skrzypczak, LICS 2013
Between tree patterns and conjunctive queries: is there tractability beyond acyclicity?, with Michał Ogiński and Marcin Przybyłko, MFCS 2012
Definable operations on weakly recognizable sets of trees, with Jacques Duparc, Alessandro Facchini, FSTTCS 2011
Solutions in XML data exchange, with Mikołaj Bojańczyk and Leszek A. Kołodziejczyk, ICDT 2011
Relational and XML Data Exchange, with Marcelo Arenas, Pablo Barceló, and Leonid Libkin, Morgan & Claypool Publishers 2010
Certain answers for XML queries, with Claire David and Leonid Libkin, PODS 2010
On the Tradeoff between Mapping and Querying Power in XML Data Exchange, with Shunichi Amano, Claire David and Leonid Libkin, ICDT 2010
The Wadge Hierarchy of Max-Regular Languages, with Jeremie Cabessa, Jacques Duparc, Alessandro Facchini, FSTTCS 2009
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata, with Jacques Duparc and Alessandro Facchini, CSL 2009
XML Schema Mappings, with Shunichi Amano and Leonid Libkin, PODS 2009
The Wadge Hierarchy of Deterministic Tree Languages, Logical Methods in Computer Science 4(4): 1-44 (2008)
Effective topological hierarchies of recognizable tree languages, PhD thesis, University of Warsaw, 2008
Weak index vs. Borel rank, STACS 2008
On the topological complexity of tree languages, with Andre Arnold, Jacques Duparc, and Damian Niwiński, in: Logic and Automata: History and Perspectives, Amsterdam University Press 2007
On the topological complexity of weakly recognizable tree languages, with Jacques Duparc, FCT 2007
The Wadge Hierarchy of Deterministic Tree Languages (extended abstract), ICALP 2006
On deciding topological classes of deterministic tree languages, CSL 2005

Teaching (PL)

Konsultacje: wtorki, 15:45 - 17:15
Bazy danych 2016/2017
Złożoność obliczeniowa 2014/2015
Horyzonty 2015
XML, czyli drzewa z danymi 2012/2013
Magisterka z XMLa 2011/2012
Logika dla informatyków - Ćwiczenia z gwiazdką 2012/2013
Teoria baz danych 2011/2012
Automaty na nieskończonych obiektach 2010/2011
JAO 2009/2010
Złożoność Kołmogorowa i złożoność komunikacyjna 2006/2007
Programowanie w logice 2006/2007
Algorytmiczne aspekty teorii gier 2005/2006
Oceń wykładowcę

Links

Varia: Photos, My Movies at IMDb, World Heritage Sites, World Travel Map
Schools: MIM UW, Universitat de Valencia, UdS, MPII, III LO im. Unii Lubelskiej
Newspapers: Gazeta, Rzeczpospolita, The New York Times, The New Yorker, Times Online, ABC, El Mundo

Filip Murlak 7-11-2016