Research Projects

• Automated Sublinear Amortised Resource Analysis of Data Structures
  2023 – 2027 / Austrian Science Fund (FWF)
• Decompose and Conquer: Fast Query Processing via Decomposition
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Toward Optimal Path Guiding for Photorealistic Rendering
  2023 – 2027 / Vienna Science and Technology Fund (WWTF)
• Instant Visualization and Interaction for Large Point Clouds
  2023 – 2026 / Vienna Science and Technology Fund (WWTF)
• E-LAUTE: E-Linked Annotated unified Tablature Editions
  2023 – 2026 / Austrian Science Fund (FWF)
• Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
  2023 – 2026 / Austrian Science Fund (FWF)
• Transparenz und Vertrauen - Ja, aber wie?
  2023 / Vienna Science and Technology Fund (WWTF)
• Caring Robots // Robotic Care
  2022 – 2027 / Austrian Science Fund (FWF)
• Overcoming Intractability in the Knowledge Compilation Map
  2022 – 2025 / Austrian Science Fund (FWF)
• Pro-Active Routing for Emergency Testing in Pandemics
  2022 – 2025 / Austrian Science Fund (FWF)
• QBF Proofs and Certificates
  2022 – 2025 / Austrian Science Fund (FWF)
• ArtVis: Dynamic Network Perspectives on Digital Art History
  2022 – 2025 / Austrian Science Fund (FWF)
• Abstraction for Understandability of Reasoning in AI
  2022 – 2025 / Austrian Science Fund (FWF)
• A Composable Rational Framework for Blockchain Systems
  2022 – 2025 / Austrian Science Fund (FWF)
• Reverse supply chain of residual wood biomass
  2022 – 2025 / FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
• Parameterized Analysis in Artificial Intelligence
  2021 – 2026 / Austrian Science Fund (FWF)
• Foundations of Reasoning in the Shape Constraint Language
  2021 – 2025 / Austrian Science Fund (FWF)
• Transparent Automated Content Moderation
  2021 – 2025 / Vienna Science and Technology Fund (WWTF)
• Etruscan Mirrors in Austria
  2021 – 2025 / Austrian Science Fund (FWF)
• Unstable Bodies
  2021 – 2024 / Austrian Science Fund (FWF)
• Algorithmic governance of care
  2021 – 2024 / Vienna Science and Technology Fund (WWTF)
• Incremental SAT and SMT Reasoning for Scalable Verification
  2021 – 2024 / Austrian Science Fund (FWF)
• Humans and Recommender Systems: Towards Mutual Understanding
  2021 – 2024 / Austrian Science Fund (FWF)
• A holistic analysis of participatory budgeting
  2021 – 2024 / Austrian Science Fund (FWF)
• Sustainable Watershed Management Through IoT-Driven AI
  2021 – 2024 / Austrian Science Fund (FWF)
• Axiomatizing conditional normative reasoning
  2021 – 2023 / Austrian Science Fund (FWF)
• Scalable Reasoning in Knowledge Graphs
  2020 – 2028 / Vienna Science and Technology Fund (WWTF)
• Cryptographic Foundations of Privacy in Distributed Ledgers
  2020 – 2027 / Vienna Science and Technology Fund (WWTF)
• Guidance-Enriched Visual Analytics for Temporal Data
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• IoTIO: Analyzing and Understanding the Internet of Insecure Things
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Distribution Recovery for Invariant Generation of Probabilistic Programs
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Learning to Solve Quantified Boolean Formulas
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Engineering Linear Ordering Algorithms for Optimizing Data Visualizations
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Modeling the World at Scale
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Advanced Computational Design
  2020 – 2024 / Austrian Science Fund (FWF)
• Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Water's gateway to heaven: 3D imaging and modeling of transient stomatal responses in plant leaves under dynamic environments
  2020 – 2024 / Vienna Science and Technology Fund (WWTF)
• Personalised Medicine: Multidisciplinary Research Towards IM
  2020 – 2023 / Austrian Science Fund (FWF)
• Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
  2019 – 2027 / Vienna Science and Technology Fund (WWTF)
• SAT-Based Local Improvement Methods
  2019 – 2024 / Austrian Science Fund (FWF)
• Digital Modeling of Asynchronous Integrated Circuits
  2019 – 2024 / Austrian Science Fund (FWF)
• Algorithm Engineering for Process Mapping
  2019 – 2024 / Austrian Science Fund (FWF)
• From Semantic Games to Analytic Calculi – and Back
  2019 – 2023 / Austrian Science Fund (FWF)
• Hybrid Parameterized Problem Solving in Practice
  2019 – 2023 / Austrian Science Fund (FWF)
• High-dimensional statistical learning: New methods to advance economic and sustainability policies
  2019 – 2023 / Austrian Science Fund (FWF)
• Cryptographic Foundations for Future-proof Internet Security
  2019 – 2023 / Austrian Science Fund (FWF)
• Algorithms for Sustainable Group Decision Making
  2019 – 2023 / Austrian Science Fund (FWF)
• Compiling Knowledge into Applications
  2018 – 2025 / Austrian Science Fund (FWF)
• Doktoratskolleg "Vienna Graduate School on Computational Optimization"
  2016 – 2024 / Austrian Science Fund (FWF)
• Runtime Control on Multi Clouds
  2016 – 2023 / Austrian Science Fund (FWF)