ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2022
Cited
30
Resume (English only)
Academic Achievements
Publications:
- Stackless Processing of Streamed Trees, PODS 2021
- PG-Keys: Keys for Property Graphs, SIGMOD 2021
- On Finite Entailment of Non-Local Queries in Description Logics, KR 2020
- Ontology Focusing: Knowledge-Enriched Databases on Demand, ECAI 2020
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles, IJCAI 2019
- On the semantics of Cypher's implicit group-by, DBPL 2019
- Finite Query Answering in Expressive Description Logics with Transitive Roles, KR 2018
- Reasoning about integrity constraints for tree-structured data, Theory Comput. Syst. 62(4): 941-976 (2018)
- Three easy pieces on schema mappings for tree-structured data, AMW 2017
- Schema validation via streaming circuits, PODS 2016
- Vertically acyclic conjunctive queries over trees, AMW 2016
- Monadic datalog and regular tree pattern queries, ACM Trans. Database Syst. 41(3): 20:1-20:43 (2016)
- Index problems for game automata, ACM Trans. Comput. Log. 17(4): 24:1-24:38 (2016)
- Research Directions for Principles of Data Management (Abridged), SIGMOD Record 45(4): 5-17 (2016)
- On the weak index problem for game automata, WoLLIC 2015
- Consistency of injective tree patterns, FSTTCS 2014
- XML schema mappings: data exchange and metadata management, J. ACM 61(2):12 (2014)
- Monadic datalog and regular tree pattern queries, MFCS 2014
- Foundations of Data Exchange, Cambridge University Press 2014
- Transformation Synthesis from XML Schema Mappings, Conference or Journal not specified
Research Experience
Work Experience: Post-doc in the Database Group at the University of Edinburgh; Research Projects: Current research is in database theory and knowledge representation.
Education
Degree: PhD; School: Not specifically mentioned; Advisor: Damian Niwiński; Time: Not specifically mentioned; Major: Automata Theory.
Background
Research Interests: database theory and knowledge representation; Professional Field: automata theory; Brief Introduction: works at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, and is a member of the automata group at the Institute of Informatics.
Miscellany
Contact Information:
- Address: Uniwersytet Warszawski, Instytut Informatyki, ul. Banacha 2, 02-097 Warszawa, Polska